A deductive method in linguistic reasoning | IEEE Conference Publication | IEEE Xplore