Li Zou, Fang Sun, Yang Xu 0001. Resolution method of six-element linguistic truth-valued intuitionistic propositional logic. In 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008, Xiamen, China, November 17-19, 2008. pages 141-145, IEEE, 2008. [doi]
Abstract is missing.