MP<”M>中的等值完全析取范式

摘要：

主要讨论中介逻辑命题演算系统MP<”M>中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MP<”M>的联结词的归约.

关键词： 数理逻辑 命题演算 中介逻辑 析取范式 联结词

作者: 凌方 王建东

作者单位: 南京航空航天大学信息科学与技术学院(江苏南京)

会议类型: 国内会议

会议名称: 第七届中国人工智能联合学术会议

会议地点: 桂林

会议语种:中文

页码: 148-152

在线出版日期: 2003-01-01（万方平台首次上网日期，不代表论文的发表时间）