Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1-Reference-Cited by-同舟云学术

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1

Author:

Yi Liu¹²³,Yang Xu³,Xiaomei Zhong³

Affiliation:

1. Key Lab of Data Recovery, Sichuan Province, Neijiang Normal University, Neijiang, Sichuan, P.R. China

2. College of Mathematics and Information Sciences, Neijiang Normal University, Neijiang, Sichuan, P.R. China

3. Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, P.R. China

Publisher

IOS Press

Subject

Artificial Intelligence,General Engineering,Statistics and Probability

Reference22 articles.

1. Colored resolution, “PI-Colored clash and its completeness";Lu;Chinese Journal of Computers,1987

2. Type-3 IDI-resolution principle;Liu;J Jilin University,1979

3. Lock-semantic resolution principle with lemmasąłl I-resolution principle;Liu;J of Jilin University (Science Edition),1979

4. The compatibility among three resolution principles;Liu;Journal of Software,1992

5. Lattice-valued propositional logic LP(X)(I);Qin;Fuzzy Sys Math,1997

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. On A-subsets in lattice implication algebras;Journal of Intelligent & Fuzzy Systems;2018-08-26

5. Study on the properties of A-subset;Journal of Intelligent & Fuzzy Systems;2017-11-30