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

• 作者: 王国俊 王茹
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: Boole型理论 R0代数 Boole代数 (ζ)*系统
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 1-3,7
• 页数: 4页
• 分类号: O141.1
• 字数: 3936字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	王茹	陕西师范大学数学与信息科学学院	8	10	2.0	3.0