MP＊中的等值完全析取范式

作     者：姚楠 顾红芳 肖奚安 朱梧槚 

作者机构：军事经济学院数学教研室 通信工程学院数学教研室 空军气象学院数学教研室 航空航天大学计算机科学与工程系 

出 版 物：《南京航空航天大学学报》 (Journal of Nanjing University of Aeronautics & Astronautics)

年 卷 期：1998年第30卷第4期

页      面：359-365页

核心收录：

学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学] 

主　　题：数理逻辑 命题演算 中介逻辑 范式 析取 

摘      要：讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了ＭＰ＊中的析取范式问题。另外，本文还证明了一个等值公式，把真值程度词在等值的意义下用含清晰化算符的公式表示，扩充了ＭＰ＊的形式推理规则。