首页> 中文期刊> 《北京航空航天大学学报》 >一个一阶逻辑公理系统独立性的证明

一个一阶逻辑公理系统独立性的证明

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．

著录项

来源
《北京航空航天大学学报》 |1994年第1期|P.85-90|共6页
作者
何自强;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类证明论;
关键词
数理逻辑; 逻辑系统; 公理; 算术解释;

相似文献

中文文献
外文文献
专利

1. 关于命题演算公理系统独立性证明的注记 [J] . 郭方芳 ,陈图云 . 辽宁师范大学学报：自然科学版 . 1999,第003期
2. 一个用于一阶逻辑自动定理证明的新算法 [J] . 陈勇浩 . 计算机工程与科学 . 1993,第003期
3. 一个用于一阶逻辑（FOPC）自动定理证明的新算法 [J] . 陈勇浩 . 计算机杂志 . 1993,第004期
4. 一个小型公理系统的例子及中学几何公理系统的水平 [J] . 徐亨锡 . 苏州教育学院学报 . 1994,第001期
5. 感生电动势和动生电动势独立性的一个证明 [J] . 呼楚勒 . 内蒙古科技与经济 . 1999,第003期
6. 使用定理证明器ANDP简化构造几何公理系统 [C] . 李大法 . 第五届中国人工智能联合学术会议 . 1998
7. 一种基于矛盾体分离演绎的一阶逻辑自动定理证明器研究 [A] . 曹锋 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号