计算机工程与应用2019，Vol.55Issue(1)：47-49,3.DOI:10.3778/j.issn.1002-8331.1712-0424
逻辑系统L*和BL*的广义演绎定理的逆定理
Inverse Theorems of Generalized Deduction Theorems in Logic Systems L*and BL*
摘要
Abstract
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*/广义演绎定理/强可靠性Key words
logic system L*/logic system BL*/generalized deduction theorem/strong soundness分类
数理科学引用本文复制引用
荣宇音,徐罗山..逻辑系统L*和BL*的广义演绎定理的逆定理[J].计算机工程与应用,2019,55(1):47-49,3.基金项目
国家自然科学基金(No.11671008,No.61472343,No.11701500) （No.11671008,No.61472343,No.11701500）
江苏省高校自然科学基金(No.15KJD110006) （No.15KJD110006）
江苏省自然科学基金(No.BK20170483) （No.BK20170483）
江苏高校品牌专业建设工程项目(No.PPZY2015B109). （No.PPZY2015B109）
