%0 Journal Article %T 中介命题演算系统mp^m的公理完备集 %J 计算机科学 %D 2006 %X 本文基于中介逻辑命题演算系统mp^m构造了一个公理集合,证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出,可以方便地对mp^m、mf^m系统上的等值公式进行推导和证明。本文还讨论了该公理集合在不完全信息数据库查询优化上的应用。 %K 中介逻辑命题演算系统公理集查询优化 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=21313534&flag=1