NON-CLAUSAL MULTI-ARY alpha-GENERALIZED RESOLUTION PRINCIPLE FOR A LATTICE-VALUED PROPOSITIONAL LOGIC

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Research output: Other contributionpeer-review

Original languageEnglish
Volume9
Publication statusPublished (in print/issue) - 2014

Publication series

NameWorld Scientific Proceedings Series on Computer Engineering and Information Science

Keywords

  • Resolution automated reasoning
  • Lattice-valued propositional logic
  • Lattice implication algebra
  • Non-clausal multi-ary alpha-generalized resolution

Cite this