Resolution method of six-element linguistic truth-valued intuitionistic propositional logic.

Li Zou, Fang Sun, Yang Xu

Browse the full ISKE paper archive.