Non-clausal multi-ary alpha-generalized resolution calculus for a finite lattice-valued logic

Yang Xu, J. Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)
37 Downloads (Pure)

Fingerprint Dive into the research topics of 'Non-clausal multi-ary alpha-generalized resolution calculus for a finite lattice-valued logic'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science