|
|||||
|
|
| 一个多值逻辑的一阶谓词系统 | |
| 引用本文： | 霍书全.一个多值逻辑的一阶谓词系统[J].中山大学学报论丛,2009,2(1). |
| 作者姓名： | 霍书全 |
| 作者单位： | 安徽大学哲学系 |
| 摘 要： | 鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑.本文将对推广的命题逻辑系统L*建立一种一阶谓词系统,并证明其可靠性、完全性. |
| 关 键 词： | 命题逻辑 一阶谓词逻辑 可靠性 完全性 |
The First Order Predicate Calculus of a Logic System |
|
| Shuquan Huo.The First Order Predicate Calculus of a Logic System[J].Supplement to the Journal of Sun Yatsen University,2009,2(1). | |
| Authors: | Shuquan Huo |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |