二值命题逻辑中命题的矛盾度理论

• 作者: 吴洪博 李海霞
• 来源期刊: 云南师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 矛盾度 升级算法 差异度 伪距离
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 数学
• 页码范围: 5-9
• 页数: 5页
• 分类号: O141.1
• 字数: 4444字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9793.2007.06.002

摘要

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质.在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念ρ,证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	李海霞	陕西师范大学数学与信息科学学院	7	13	3.0	3.0