摘要
利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。
Proofs of inverse theorems of generalized deduction theorems of logic systems L^*and BL^*by logic deductive method are presented.By the completeness theorem and the generalized deduction theorem of logic system BL^*,the strong soundness of logic system BL^*is proved.
作者
荣宇音
徐罗山
RONG Yuyin;XU Luoshan(School of Mathematics,Yangzhou University,Yangzhou,Jiangsu 225002,China)
出处
《计算机工程与应用》
CSCD
北大核心
2019年第1期47-49,共3页
Computer Engineering and Applications
基金
国家自然科学基金(No.11671008
No.61472343
No.11701500)
江苏省高校自然科学基金(No.15KJD110006)
江苏省自然科学基金(No.BK20170483)
江苏高校品牌专业建设工程项目(No.PPZY2015B109)
