|
|||||
|
|
| 命题演算系统(ζ)*中的Boole型理论 | |
| 引用本文： | 王茹,王国俊.命题演算系统(ζ)*中的Boole型理论[J].陕西师范大学学报,2008,36(4). |
| 作者姓名： | 王茹 王国俊 |
| 基金项目： | 国家自然科学基金重点资助项目 |
| 摘 要： | 研究了命题演算系统(ζ)*中一类特殊理论--Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中引入了同余关系,证明了商代数是Boole代数,并找到了TH(L)为最小的Boole型闭理论. |
| 关 键 词： | Boole型理论 R0代数 Boole代数 (ζ)*系统 |
Boolean theory in the propositional logic system(ζ)* |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |