α — Semantic resolution method in lattice-valued logic
暂无分享,去创建一个
[1] Keyun Qin,et al. Syntax of first-order lattice valued logic system FM , 1997 .
[2] Etienne E. Kerre,et al. alpha-Resolution principle based on lattice-valued propositional logic LP(X) , 2000, Inf. Sci..
[3] Y. Xu. Lattice implication algebras , 1993 .
[4] Jun Liu,et al. Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability , 2003, Studies in Fuzziness and Soft Computing.
[5] J Ma,et al. Syntactic System of lattice-valued Propositional logic based on finite lattice implication algebra , 2002 .
[6] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[7] 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".
[8] Etienne E. Kerre,et al. alpha-Resolution principle based on first-order lattice-valued logic LF(X) , 2001, Inf. Sci..
[9] Da Ruan,et al. Lattice-Valued Propositional Logics , 2003 .
[10] Jun Liu,et al. Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic , 2007, IFSA.
[11] Jun Ma,et al. Sub-algebras of Finite Lattice Implication Algebra , 2007, IFSA.
[12] James R. Slagle,et al. Automatic Theorem Proving With Renamable and Semantic Resolution , 1967, JACM.