Semantic System of Lattice-Valued Propositional Logic
Based on Finite Lattice Implication Algebra

MAJun; QIN Ke-yun; XU Yang

Volume 15 Issue 5

Oct. 2002

Turn off MathJax

Article Contents

Journal of Southwest Jiaotong University > 2002 > 15(5): 557-560.

MAJun, QIN Ke-yun, XU Yang. Semantic System of Lattice-Valued Propositional LogicBased on Finite Lattice Implication Algebra[J]. Journal of Southwest Jiaotong University, 2002, 15(5): 557-560.

Citation:

MAJun, QIN Ke-yun, XU Yang. Semantic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra[J]. Journal of Southwest Jiaotong University, 2002, 15(5): 557-560.

MAJun, QIN Ke-yun, XU Yang. Semantic System of Lattice-Valued Propositional LogicBased on Finite Lattice Implication Algebra[J]. Journal of Southwest Jiaotong University, 2002, 15(5): 557-560.

Citation:

MAJun, QIN Ke-yun, XU Yang. Semantic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra[J]. Journal of Southwest Jiaotong University, 2002, 15(5): 557-560.

PDF( 0 KB)

Semantic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra

Publish Date: 25 Oct 2002

Abstract

Abstract

With the finite lattice implication algebra being the range of true values of a logic system, a semantic system of lattice-valued propositional logic based on the finite lattice implication algebra is built. Some basic definitions, such as the valuation of the system and the satisfiability of formulas on level A,etc., is discussed. The decidability of effectiveness of the system is proved, and a decision algorithm is presented.
- many-valued logic,
- logic algebra,
- lattice implication algebra