计算机工程与应用 ›› 2019, Vol. 55 ›› Issue (1): 47-49.DOI: 10.3778/j.issn.1002-8331.1712-0424
• 理论与研发 • 上一篇 下一篇
荣宇音,徐罗山
出版日期:
发布日期:
RONG Yuyin, XU Luoshan
Online:
Published:
摘要: 利用形式推演方法,给出逻辑系统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
荣宇音,徐罗山. 逻辑系统L*和BL*的广义演绎定理的逆定理[J]. 计算机工程与应用, 2019, 55(1): 47-49.
RONG Yuyin, XU Luoshan. Inverse Theorems of Generalized Deduction Theorems in Logic Systems L* and BL*[J]. Computer Engineering and Applications, 2019, 55(1): 47-49.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.1712-0424
http://cea.ceaj.org/CN/Y2019/V55/I1/47