An extended syllogistic logic for automated reasoning | IEEE Conference Publication | IEEE Xplore