α -Paramodulation method for a lattice-valued logic L nF(X) with equality

Xingxing He, Yang Xu, J. Liu, Yingfang Li

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'α -Paramodulation method for a lattice-valued logic L <sub>n</sub>F(X) with equality'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science