中介命题逻辑系统的强完全性

摘要：

该文讨论中介命题逻辑系统的强完全性，证明了中介命题逻辑系统MP和扩展系统MP是强完全的。由此表明，MP与MP.既是一般完全的亦是强完全的。

关键词： 中介命题逻辑系统 一般完全性 强完全性

作者: 潘正华

作者单位: 黔西南师专计算机系

会议类型: 国内会议

会议名称: 第八届全国多值逻辑与模糊逻辑学术会议

会议地点: 深圳

会议语种:中文

页码: 81～82

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