修正的Kleene系统中的子代数的广义矛盾式

• 作者: 李顺琴 王国俊
• 来源期刊: 纺织高校基础科学学报
• 关键词: 修正的Kleene系统 子R0代数 广义矛盾式
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 数学
• 页码范围: 107-112
• 页数: 6页
• 分类号: O141.1
• 语种: 中文
• DOI: 10.3969/j.issn.1006-8341.2007.02.001

摘要

将修正的Kleene系统中的广义矛盾式理论进行推广,在R0代数[0,1]的各类无限子R0代数中的广义重言式的基础上讨论了广义矛盾式理论:(1)讨论了一般子R0代数的广义矛盾式;(2)根据聚点性态的不同将无限子R0代数作了分类,并在各类无限子R0代数中讨论了广义矛盾式,进而在相应的子R0代数中给出了公式集F(S)的一种划分;(3)证明了在子R0代数E2中,L*中存在着可数多个不同的广义矛盾式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李顺琴	陕西师范大学数学研究所	3	3	1.0	1.0
5	王国俊	陕西师范大学数学研究所	176	2910	25.0	49.0