Alpha-Quasi-lock semantic resolution method based on lattice-valued logic

X.M. Zhong, Y. Xu, Jun Liu, Shuwei Chen

Research output: Contribution to journalArticle

7 Citations (Scopus)
Original languageEnglish
Pages (from-to)418-431
JournalInternational Journal of Computational Intelligence Systems
Volume7
Issue number3
DOIs
Publication statusPublished - 2014

Keywords

  • α-Quasi-lock semantic resolution method
  • resolution-based automated reasoning
  • general form of α-resolution principle
  • lattice-valued logic
  • lattice implication algebra

Cite this