n值逻辑系统L*n中矛盾度的等价定义及性质

• 作者: 惠小静 李顺琴
• 来源期刊: 云南师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 计量逻辑学 R0-命题逻辑系统 矛盾度 等价形式 对称性定理
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 数学
• 页码范围: 36-40
• 页数: 5页
• 分类号: O141.1
• 字数: 2944字
• 语种: 中文
• DOI: 10.7699/j.ynnu.ns-2015-036

摘要

给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小静	延安大学数学与计算机科学学院	77	347	9.0	17.0
2	李顺琴	延安大学数学与计算机科学学院	30	40	3.0	5.0