|
|||||
|
|
| 基于有限格蕴涵代数的格值命题逻辑语法系统 | |
| 引用本文： | 马骏,高雅,秦克云,徐扬.基于有限格蕴涵代数的格值命题逻辑语法系统[J].西南交通大学学报,2004,39(1):90-94. |
| 作者姓名： | 马骏 高雅 秦克云 徐扬 |
| 作者单位： | 1. 西南交通大学电气学院,四川,成都,610031;西南交通大学理学院,四川,成都,610031 2. 西南交通大学计算机与通讯工程学院,四川,成都,610031 3. 西南交通大学理学院,四川,成都,610031 |
| 基金项目： | 国家自然科学基金资助项目(60074014) |
| 摘 要： | 以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理． |
| 关 键 词： | 多值逻辑 逻辑代数 格蕴涵代数 语法系统 格值命题逻辑 |
| 文章编号： | 0258-2724(2004)01-0090-05 |
Syntactic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra |
|
| MA Jun.Syntactic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra[J].Journal of Southwest Jiaotong University,2004,39(1):90-94. | |
| Authors: | MA Jun |
| Abstract: | By taking finite lattice implication algebra as a truth-value field, a syntactic system of lattice-valued propositional logic based on finite lattice implication algebra was proposed. The basic definitions of syntactic implies, proof and consistency of the system on level A were given axiomatically. Finally, the soundness theorem, consistency theorem, weak complete theorem and weak deduction theorem of the system were proved. |
| Keywords: | many-valued logic logic algebra lattice implication algebra |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |