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

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

类型: 期刊论文

作者: 荣宇音,徐罗山

关键词: 逻辑系统,广义演绎定理,强可靠性

来源: 计算机工程与应用 2019年01期

年度: 2019

分类: 信息科技,基础科学

专业: 数学

单位: 扬州大学数学科学学院

基金: 国家自然科学基金(No.11671008,No.61472343,No.11701500),江苏省高校自然科学基金(No.15KJD110006),江苏省自然科学基金(No.BK20170483),江苏高校品牌专业建设工程项目(No.PPZY2015B109)

分类号: O141

页码: 47-49

总页数: 3

文件大小: 1263K

下载量: 36

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