| 逻辑系统L~*和BL~*的广义演绎定理的逆定理 |
| |
| 引用本文： | 荣宇音,徐罗山. 逻辑系统L~*和BL~*的广义演绎定理的逆定理[J]. 计算机工程与应用, 2019, 55(1): 47-49. DOI: 10.3778/j.issn.1002-8331.1712-0424 |
| |
| 作者姓名： | 荣宇音 徐罗山 |
| |
| 作者单位： | 扬州大学 数学科学学院,江苏 扬州,225002;扬州大学 数学科学学院,江苏 扬州,225002 |
| |
| 基金项目： | 国家自然科学基金;江苏省高校自然科学基金;江苏省自然科学基金;江苏高校品牌专业建设工程项目 |
| |
| 摘 要： | 利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。
|
| 关 键 词： | 逻辑系统L^* 逻辑系统BL^* 广义演绎定理 强可靠性 |
Inverse Theorems of Generalized Deduction Theorems in Logic Systems L~* and BL~* |
| |
| 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. DOI: 10.3778/j.issn.1002-8331.1712-0424 |
| |
| Authors: | RONG Yuyin XU Luoshan |
| |
| Affiliation: | School of Mathematics, Yangzhou University, Yangzhou, Jiangsu 225002, China |
| |
| 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. |
| |
| Keywords: | logic system L* logic system BL* generalized deduction theorem strong soundness |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
