%0 Journal Article
%T The Complete Axiom Set of MPM<br>中介命题演算系统MP^M的公理完备集
%A CAO Ru-Ming
%A MAO Yu-Guang
%A CHEN Wen-Bin
%A <br>曹汝鸣
%A 毛宇光
%A 陈文彬
%J 计算机科学
%D 2006
%I 
%X This paper constructs an axiom set based on the medium logic propositional calculus system MPM and gives a proof of its completeness. This axiom set consists of fifteen equations, so it is easier to prove and deduce the identity equations of the MPM system and MFM system. Furthermore, the application of this axiom set on the query optimization in the incomplete information database is also discussed.
%K Medium logic
%K Propositional calculus system
%K Axiom set
%K Query optimization<br>中介逻辑
%K 命题演算系统
%K 公理集
%K 查询优化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=899556EB1ED87121&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=0B39A22176CE99FB&sid=70AC2EF7F2065E09&eid=E2546871E5B846EF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=11