逻辑系统中的拟对偶性与拟排中律

• 作者: 孙丽华 张兴芳 李友雨
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: T-模逻辑 析取范式 拟对偶性 拟排中律
• 年，卷（期）: 2012,（14）
• 所属期刊栏目: 研究探讨
• 页码范围: 60-62,73
• 分类号: O141.1
• 字数: 3224字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.14.013

摘要

在经典逻辑和t-模基础逻辑中提出了排中律与拟排中律的新概念,说明经典逻辑(带对偶非的MTL)满足排中律(拟排中律),证明了G(o)del模糊逻辑(Lukasiewicz(简称Luk)模糊逻辑)关于最小算子∧与最大算子(关于t-模与t-余模对补算子c)既不满足拟对偶性也不满足拟排中律,检验了Luk模糊逻辑关于Luk t-模与Luk t-余模对 算子满足拟对偶性和排中律.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兴芳	聊城大学数学科学学院	139	336	8.0	13.0
2	李友雨	聊城大学数学科学学院	10	8	2.0	2.0
3	孙丽华	聊城大学数学科学学院	2	2	1.0	1.0