iLib2 新一代的学术数据库   首页 | 账户 | 充值 | 收藏
www.ilib.cn 找不到?搜一下!
首页 > 万方期刊分类 > 基础科学 > 大学学报(自然科学) > 期刊 : 广西师范大学学报(自然科学版) MPM中的等值完全析取范式

添加收藏 

MPM中的等值完全析取范式

EQUIVALENT COMPLETE DISJUNCTIVE NORMAL FORM IN MPM

查阅全文需要付费。

<<广西师范大学学报(自然科学版)>>2003年 第21卷 第01期
作者: 凌方, 王建东,

期刊-核心期刊 ISSN : 1001-6600(2003)01-0148-05
主要讨论中介逻辑命题演算系统MPM中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MPM的联结词的归约.
关键词: 数理逻辑, 命题演算, 中介逻辑, 范式, 析取, | 全部关键词

更多相似文献...

版权所有 北京万方数据股份有限公司 京ICP证010071号 关于我们 | 资源推介 | 知识产权声明 | 客户服务 | 万方数据