基于有限格蕴涵代数的格值命题逻辑语义系统

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

以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”

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.