Alpha-minimal resolution principle for a lattice-valued logic

H.R. Jia, Y. Xu, Y. Liu, Jun Liu

Research output: Contribution to journalArticle

3 Citations (Scopus)
Original languageEnglish
Pages (from-to)34-43
JournalInternational Journal of Computational Intelligence Systems
Volume8
Issue number1
DOIs
Publication statusPublished - Jan 2015

Keywords

  • Automated reasoning
  • lattice-valued propositional logic LP(X)
  • lattice-valued first-order logic LF(X)
  • α-minimal resolution principle
  • α-minimal resolution group

Cite this