中介命题演算系统MPM的公理完备集*) (2006年)

【文件属性】：

文件名称：中介命题演算系统MPM的公理完备集*) (2006年)

文件大小：294KB

文件格式：PDF

更新时间：2024-06-18 18:05:19

工程技术 论文

本文基于中介逻辑命题演算系统MPM构造了一个公理集合，证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出，可以方便地对MPM、MFM系统上的等值公式进行推导和证明。本文还讨论了该公理集合在不完全信息数据库查询优化上的应用。