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

关键词: 数理逻辑, 命题演算, 中介逻辑, 范式, 析取, | 全部关键词