论文信息 - RESEARCH ADVANCES ON RESOLUTION AUTOMATED REASONING IN LATTICE-VALUED LOGIC BASED ON LATTICE IMPLICATION ALGEBRA - 字舞流文

RESEARCH ADVANCES ON RESOLUTION AUTOMATED REASONING IN LATTICE-VALUED LOGIC BASED ON LATTICE IMPLICATION ALGEBRA

Xiaomei Zhong | Xingxing He | Jun Liu | Yang Xu | Jun Liu | Xingxing He | Yang Xu | Xiaomei Zhong

[1] Yang Xu,et al. α-group resolution method based on lattice-valued propositional logic LP(X) , 2011, 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD).

[2] Keyun Qin,et al. Syntax of first-order lattice valued logic system FM , 1997 .

[3] Xiaomei Zhong,et al. α–GENERALIZED RESOLUTION PRINCIPLE BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X) , 2010 .

[4] Jun Ma,et al. Linguistic Truth-Valued Lattice Implication Algebra and Its Properties , 2006, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications".

[5] Da Ruan,et al. Filter-based resolution principle for lattice-valued propositional logic LP(X) , 2007, Inf. Sci..

[6] Yang Xu,et al. α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra , 2012 .

[7] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[8] Jun Liu,et al. A resolution-like strategy based on a lattice-valued logic , 2003, IEEE Trans. Fuzzy Syst..

[9] Y. Xu. Lattice implication algebras , 1993 .

[10] Jun Liu,et al. Alpha-resolution Method for a Lattice-valued First-order Logic , 2011, Eng. Appl. Artif. Intell..

[11] Etienne E. Kerre,et al. alpha-Resolution principle based on lattice-valued propositional logic LP(X) , 2000, Inf. Sci..