期刊文献+

中介逻辑命题演算扩张系统MP的完备性 被引量:3

在线阅读 下载PDF
导出
摘要 中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义:
作者 潘正华
出处 《应用数学》 CSCD 北大核心 1989年第2期73-74,共2页 Mathematica Applicata
基金 贵州省科学基金
  • 相关文献

同被引文献18

引证文献3

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部