系统L中τ(A→X)≥α型逻辑不等式的解问题

• 作者: 王廷明
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 二值命题逻辑 逻辑不等式 真度 极小项 解集
• 年，卷（期）: 2012,（16）
• 所属期刊栏目: 研究、探讨
• 页码范围: 44-46,50
• 分类号: O141.3
• 字数: 3554字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.16.011

摘要

二值命题逻辑L中τ(A→x)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用.通过F(Sn)中公式是逻辑不等式τ(A→x)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理,得到了等价类的结构表示和等价类个数结论,为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王廷明	青岛大学师范学院	49	91	5.0	7.0