%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