计算机工程与应用 ›› 2019, Vol. 55 ›› Issue (1): 47-49.DOI: 10.3778/j.issn.1002-8331.1712-0424

• 理论与研发 • 上一篇    下一篇

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

荣宇音,徐罗山   

  1. 扬州大学 数学科学学院,江苏 扬州 225002
  • 出版日期:2019-01-01 发布日期:2019-01-07

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

RONG Yuyin, XU Luoshan   

  1. School of Mathematics, Yangzhou University, Yangzhou, Jiangsu 225002, China
  • Online:2019-01-01 Published:2019-01-07

摘要: 利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。

关键词: 逻辑系统L*, 逻辑系统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.

Key words: logic system L*, logic system BL*, generalized deduction theorem, strong soundness