论文摘要
利用形式推演方法,给出逻辑系统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