未找到相关数据
中介逻辑命题演算扩张系统MP的完备性
被引：3
作者：
潘正华
机构：
[1] 贵州省兴义师专数学系
来源：
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
<正> 中介命题演算扩张系统MP*,是在中介命题演算系统MP中增加了一条命题的原始联结词“（?）”而构成的。因此,关于MP*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词（?）的意义,在MP的赋值定义中,对命题形式补充如下定义:
引用
收藏
页码：73 / 74
页数：2
相关论文