首页> 中文期刊> 《软件学报》 >命题中介逻辑的可靠和完备Gentzen推导系统

命题中介逻辑的可靠和完备Gentzen推导系统

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词～、反对连接词(△)以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.

著录项

来源
《软件学报》 |2016年第2期|209-218|共10页
作者
朱梧槚; 李未; 眭跃飞; 罗杰;
展开▼
作者单位

南京航空航天大学计算机系;

江苏南京210016;

软件开发环境国家重点实验室(北京航空航天大学);

北京100191;

中国科学院计算技术研究所智能信息处理重点实验室;

北京 100190;

软件开发环境国家重点实验室(北京航空航天大学);

北京100191;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
中介逻辑; 矛盾关系; 反对关系; 可靠性; 完备性;

相似文献

中文文献
外文文献
专利

1. 中介逻辑命题演算扩张系统MP的完备性 [J] . 潘正华 . 应用数学 . 1989,第2期
2. 中介命题逻辑MP和中介谓词逻辑MF的可靠性 [J] . 潘正华 . 自然杂志 . 1989,第008期
3. 中介命题逻辑MP的完备性 [J] . 潘正华 . 自然杂志 . 1989,第007期
4. 中介命题演算系统MPM的公理完备集 [J] . 曹汝鸣 ,毛宇光 ,陈文彬 . 计算机科学 . 2006,第002期
5. G-R型模糊命题逻辑系统完备的一个充分必要条件 [J] . 杨晓斌 ,罗万钧 ,张文修 . 模糊系统与数学 . 2001,第1期
6. 中介逻辑系统MF*~**的Gentzen系统 [C] . 钱磊 . 中国系统工程学会模糊数学与模糊系统委员会第五届年会 . 1990
7. 命题投影时序逻辑的完备公理系统与形式验证 [A] . 张南 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号