Extended IF逻辑的命题演算系统

许文艳

首页> 中文期刊> 《软件学报》 >Extended IF逻辑的命题演算系统

Extended IF逻辑的命题演算系统

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

Extended IF逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于Cirquent演算方法,给出了一个关于Cirquent语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使Extended IF逻辑在命题水平得到了真正意义上的公理化.

著录项

来源
《软件学报》 |2015年第9期|2278-2285|共8页
作者
许文艳;
展开▼
作者单位

西安电子科技大学数学与统计学院;

陕西西安710071;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动推理、机器学习;
关键词
Cirquent演算; 可计算性逻辑; Extended IF逻辑;

相似文献

中文文献
外文文献
专利

1. 一个严格区分逻辑矛盾与辩证矛盾的辩证逻辑的命题演算系统 [J] . 曹飞 . 河南师范大学学报：哲学社会科学版 . 2007,第6期
2. 一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统 [J] . 曹飞 . 湘潭大学学报（哲学社会科学版） . 2014,第002期
3. 计算机数理逻辑命题演算演示系统的研究 [J] . 张君 . 信息通信 . 2013,第009期
4. 中介逻辑命题演算系统的可满足性的判定复杂度 [J] . 邹晶 ,肖奚安 . 南京师大学报（自然科学版） . 1989,第001期
5. 中介逻辑的命题演算系统的可判定性 [J] . 邹晶 . 自然杂志 . 1989,第008期
6. 中介逻辑命题演算系统MPM的范式 [C] . 毛宇光 ,徐洁磐 ,韩波 . 2001年全国理论计算机科学学术会议 . 2001
7. 经典命题演算的能行方法研究 [A] . 秦一男 . 2009

Extended IF逻辑的命题演算系统

摘要

著录项

相似文献

相关主题

期刊订阅