首页> 中文会议>2013年全国应用逻辑学术年会 >一阶谓词逻辑反驳演算自然推理系统

一阶谓词逻辑反驳演算自然推理系统

页面导航

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

摘要

反驳各种逻辑谬误离不开对矛盾式的认识和理解.为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统；根据定义的语义解释,考察了该系统的一些元理论.在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式；(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统.

著录项

来源
《2013年全国应用逻辑学术年会》|2013年|1-6|共6页
会议地点北京
作者
DU Guo-ping; 杜国平; ZHAO Man; 赵曼;
展开▼
作者单位

中国逻辑学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类论证与反驳;
关键词
谓词逻辑; 反驳演算; 自然推理系统;

相似文献

中文文献
外文文献
专利

1. 一阶谓词逻辑反驳演算自然推理系统 [J] . 杜国平 ,赵曼 . 重庆理工大学学报 . 2013,第009期
2. 一阶谓词逻辑反驳演算自然推理系统 [J] . 杜国平 ,赵曼 . 重庆理工大学学报（社会科学版） . 2013,第009期
3. 基于一阶谓词演算的机器推理系统MRS [J] . 陈强璋 . 微型电脑应用 . 1992,第003期
4. 直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统 [J] . 余军成1 . 贵州工程应用技术学院学报 . 2019,第003期
5. 直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统 [J] . 余军成 . 毕节学院学报 . 2019,第003期
6. 一阶谓词逻辑的图形推理法 [C] . GENG Xia ,耿霞 ,ZHANG Ji-jun . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 一阶谓词逻辑下子句型信念的非修正推理方法 [A] . 张嵩 . 2016

一阶谓词逻辑反驳演算自然推理系统

摘要

著录项

相似文献

相关主题

期刊订阅