命题演算系统(ζ)*中的Boole型理论

摘要：

研究了命题演算系统(ζ)*中一类特殊理论--Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中引入了同余关系,证明了商代数是Boole代数,并找到了TH(L)为最小的Boole型闭理论.

关键词：Boole型理论、R0代数、Boole代数、(ζ)*系统

所属期刊栏目：36

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金重点资助项目10331010,10771129

在线出版日期：2008-09-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-3,7