《计算机工程与应用杂志》发表论文赏析

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

来源：计算机工程与应用杂志2019年第1期北京时间：

作者：荣宇音，徐罗山

单位：扬州大学数学科学学院，江苏扬州 225002

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

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

填文献完整题目获取完整文献

期刊主页 指导发表

我们的服务

关于学术服务

预审评估服务（含快速预审、投刊前评审、专业学术评审）；润色编辑服务（校对编辑、标准润色、深度润色）；学术翻译服务（常规学术翻译、深度学术翻译）；查重去重服务（学术查重、英文去重、中文去重）；发表支持服务（期刊推荐、格式修改、协助提交、投稿附言）投诉邮箱：supservice@163.com

期刊之家热门核心期刊知识职称新闻 SCI期刊目录发表指导服务项目网站地图