(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic.

Baihua Li, Xiaonan Li, Chang Pan, Li Zou, Yang Xu

Browse the full ISKE paper archive.