alpha-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic LV(nx2)P(X)

Xiaomei Zhong, Jun Liu, Shuwei Chen, Yang Xu

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationFOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011)
Pages159-+
Volume122
Publication statusPublished - 2011

Publication series

NameAdvances in Intelligent and Soft Computing

Keywords

  • alpha-Quasi-lock semantic resolution method
  • Resolution-based automated reasoning
  • Linguistic truth-valued lattice-valued propositional logic
  • Linguistic truth-valued lattice implication algebra

Cite this