|
|||||
|
|
| MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究 | |
| 引用本文： | 顾红芳,白鹏,肖奚安,朱梧槚.MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究[J].数学杂志,2000,20(3):305-310. |
| 作者姓名： | 顾红芳 白鹏 肖奚安 朱梧槚 |
| 作者单位： | 1. 南京通信工程学院数学教研室,南京,210016 2. 解放军信息工程学院基础部,郑州,450002 3. 空军气象学院数学教研室,南京,211101 4. 南京大学计算机软件新技术国家级重点实验室,南京,210093;南京航空航天大学计算机科学研究所,南京,210016 |
| 基金项目： | 国家自然科学基金!资助项目 (698750 0 7)，江苏省自然科学基金!资助项目 (BK991 1 9) |
| 摘 要： | 本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 . |
| 关 键 词： | 三值逻辑 中介命题逻辑 命题联结词 语言表达能力 |
| 修稿时间： | 1998-11-12 |
STUDIES ON THE EQUIVALENCE BETWEEN MP* AND OTHER 3-VALUED LOGICS WITH COMPLETE CONTENTS OF PROPOSITIONAL CONNECTIVES ABOUT THEIR LINGUISTIC EXPRESSIVE POWER |
|
| GU Hong-fang,BAI Peng,XIAO Xi-an,ZHU Wu-jia.STUDIES ON THE EQUIVALENCE BETWEEN MP* AND OTHER 3-VALUED LOGICS WITH COMPLETE CONTENTS OF PROPOSITIONAL CONNECTIVES ABOUT THEIR LINGUISTIC EXPRESSIVE POWER[J].Journal of Mathematics,2000,20(3):305-310. | |
| Authors: | GU Hong-fang BAI Peng XIAO Xi-an ZHU Wu-jia |
| Abstract: | |
| Keywords: | three valued logic propositional logic propositional connective linguistic expressive power |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |