| 基于有限格蕴涵代数的格值命题逻辑语义系统 |
| |
| 引用本文： | 马骏,秦克云,徐扬.基于有限格蕴涵代数的格值命题逻辑语义系统[J].西南交通大学学报,2002,37(5):557-560. |
| |
| 作者姓名： | 马骏 秦克云 徐扬 |
| |
| 作者单位： | 西南交通大学应用数学系,四川,成都,610031 |
| |
| 基金项目： | 国家自然科学基金资助项目 (6 0 0 74 0 14 ) |
| |
| 摘 要： | 以有限格蕴涵代数作为逻辑系统的真值域，在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统，研究了在A水平上系统的赋值和公式的可满足性等基本定义，证明了系统“有效性”的可判定性并给出了判定算法。
|
| 关 键 词： | 有限格蕴涵代数 多值逻辑 逻辑代数 格值命题逻辑语义系统 数理逻辑 |
| 文章编号： | 0258-2724(2002)05-0557-04 |
Semantic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra |
| |
| MA Jun,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,37(5):557-560. |
| |
| Authors: | MA Jun QIN Ke yun XU Yang |
| |
| 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. |
| |
| Keywords: | many valued logic logic algebra lattice implication algebra |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
