逻辑系统L~*和BL~*的广义演绎定理的逆定理  

Inverse Theorems of Generalized Deduction Theorems in Logic Systems L~* and BL~*

作　　者：荣宇音 徐罗山[1] RONG Yuyin;XU Luoshan(School of Mathematics,Yangzhou University,Yangzhou,Jiangsu 225002,China)

机构地区：[1]扬州大学数学科学学院,江苏扬州225002

出　　处：《计算机工程与应用》2019年第1期47-49,共3页Computer Engineering and Applications

基　　金：国家自然科学基金(No.11671008;No.61472343;No.11701500);江苏省高校自然科学基金(No.15KJD110006);江苏省自然科学基金(No.BK20170483);江苏高校品牌专业建设工程项目(No.PPZY2015B109)

摘　　要：利用形式推演方法,给出逻辑系统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.

关 键 词：逻辑系统L^* 逻辑系统BL^* 广义演绎定理 强可靠性 

分 类 号：O141.1[理学—数学]