n值命题逻辑系统Ln*中有限命题集的相容性与约简

• 作者: 李立峰
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 完备性定理 相容性 T约简 概念格
• 年，卷（期）: 2009,（13）
• 所属期刊栏目: 研究、探讨
• 页码范围: 59-61,64
• 页数: 4页
• 分类号: O142
• 字数: 4387字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.13.017

摘要

设T为有限命题集,首先讨论了T在不同的n值命题逻辑系统Ln*中的相容性问题,提出了T的约简理论,从命题集T所诱导的多值形式背景出发,运用概念格的方法从T及其子集的关系出发给出了T约简的判定定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李立峰	西安邮电学院应用数理系	15	85	5.0	9.0