A resolution method for linguistic truth-valued intuitionistic fuzzy first-order logic | IEEE Conference Publication | IEEE Xplore