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

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

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)
Original languageEnglish
Pages (from-to)418-431
JournalInternational Journal of Computational Intelligence Systems
Issue number3
Publication statusPublished (in print/issue) - 2014


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

Cite this