MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

• 作者: 朱梧槚 白鹏 肖奚安 顾红芳
• 来源期刊: 数学杂志
• 学科: 数学
• 关键词: 三值逻辑 中介命题逻辑 命题联结词 语言表达能力
• 年，卷（期）: 2000,（3）
• 页码范围: 305-310
• 页数: 6页
• 分类号: O141.3
• 字数: 2739字
• 语种: 中文
• DOI: 10.3969/j.issn.0255-7797.2000.03.013

摘要

本文基于中介命题逻辑的扩张系统MP*之命题联结词含量的完全性结果,进一步证明了Lukasiwicz三值逻辑系统L*3、Post三值逻辑系统P*3、Slupecki三值逻辑系统S*3和Woodruff三值逻辑系统W*3等的命题联结词的含量也是完全的.从而着眼于形式系统,可知MP*、L*3、P*3、S*3、W*3的语言表达的能力也都是等效的.又若这些三值系统都是可靠的完备的,则可进一步证明这些三值系统立足于形式推理也都是互相等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾红芳	南京通信工程学院数学教研室	2	6	2.0	2.0
2	白鹏	解放军信息工程学院基础部	2	72	2.0	2.0
3	肖奚安	空军气象学院数学教研室	2	6	2.0	2.0
4	朱梧槚	南京大学计算机软件新技术国家级重点实验室	15	84	5.0	8.0