中介命题演算系统mp^m的公理完备集

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