基于有限格蕴涵代数的格值命题 逻辑语义系统
Semantic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra
-
摘要:以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系 统。研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统“有效性”的可判定性并给出了 判定算法.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.
-
Key words:
- many-valued logic/
- logic algebra/
- lattice implication algebra
-
点击查看大图
计量
- 文章访问数:1252
- HTML全文浏览量:106
- PDF下载量:217
- 被引次数:0
下载: