首页> 中文期刊> 《辽宁师范大学学报：自然科学版》 >关于命题演算公理系统独立性证明的注记

关于命题演算公理系统独立性证明的注记

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３

著录项

来源
《辽宁师范大学学报：自然科学版》 |1999年第3期|258-261|共4页
作者
郭方芳; 陈图云;
展开▼
作者单位

辽宁师范大学数学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
数量逻辑; 公理系统; 命题演算; 数理逻辑;

相似文献

中文文献
外文文献
专利

1. 一个一阶逻辑公理系统独立性的证明 [J] . 何自强 . 北京航空航天大学学报 . 1994,第001期
2. 经典公理系统在模糊命题演算中的不和谐性 [J] . 杨晓斌 ,叶继昌 . 淄博学院学报：自然科学与工程版 . 2000,第001期
3. 模糊命题演算系统■~*的简化与独立性 [J] . 裴道武 . 模糊系统与数学 . 2006,第1期
4. 关于R0代数公理系统的简化与独立性的修正 [J] . 韩诚 . 西北大学学报（自然科学版） . 2005,第006期
5. 欧几里德公理系统中几个公理的独立性 [J] . 赵建红 . 通化师范学院学报 . 2002,第005期
6. 使用定理证明器ANDP简化构造几何公理系统 [C] . 李大法 . 第五届中国人工智能联合学术会议 . 1998
7. 关于Hall--Higman--Shult定理证明的若干注记 [A] . 李小刚 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号