alpha-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY

Xingxing He, Yang Xu, Jun Liu, Xiaomei Zhong

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

  • Lattice-valued logic
  • Equality
  • alpha-Paramodulation
  • Automated reasoning

Cite this