α-Quasi-lock semantic resolution method for linguistic truth-valued lattice-valued propositional logic LV(n×2)P(x)

X.M. Zhong, Jun Liu, S.W. Chen, Y. Xu

Research output: Chapter in Book/Report/Conference proceedingChapter

31 Citations (Scopus)
Original languageEnglish
Title of host publicationFoundations of Intelligent Systems: Advances in Intelligent and Soft Computing
PublisherSpringer
Pages159-169
Volume122
ISBN (Print)3642256635-10
Publication statusPublished - 2012

Cite this

Zhong, X. M., Liu, J., Chen, S. W., & Xu, Y. (2012). α-Quasi-lock semantic resolution method for linguistic truth-valued lattice-valued propositional logic LV(n×2)P(x). In Foundations of Intelligent Systems: Advances in Intelligent and Soft Computing (Vol. 122, pp. 159-169). Springer.