首页> 中文期刊> 《自然杂志》 >中介逻辑的命题演算系统的可判定性

中介逻辑的命题演算系统的可判定性

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但文[3]中完备性定理的证明是非构造性的,本文给出了一个完备性定理的构造性

著录项

来源
《自然杂志》 |1989年第8期|P.634-635|共2页
作者
邹晶;
展开▼
作者单位

上海工业大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类普及读物;
关键词
命题演算; 完备性定理; 构造性证明; 可判定性; 原子公式; 公式集; 语义解释; 合式公式; 可由;

相似文献

中文文献
外文文献
专利

1. 中介逻辑命题演算系统的可满足性的判定复杂度 [J] . 邹晶 ,肖奚安 . 南京师大学报（自然科学版） . 1989,第001期
2. 中介逻辑的命题演算系统（MP^＊）的一些特征 [J] . 盛建国 . 应用数学 . 1989,第4期
3. 中介逻辑命题演算扩张系统MP的完备性 [J] . 潘正华 . 应用数学 . 1989,第2期
4. 中介逻辑命题演算的扩张(Ⅱ) [J] . 肖奚安 ,朱梧槚 . 南京大学学报：自然科学版 . 1991,第2期
5. 中介逻辑命题演算的扩张(Ⅰ) [J] . 朱梧槚 ,肖奚安 . 南京大学学报：自然科学版 . 1990,第4期
6. 中介逻辑命题演算系统MPM的范式 [C] . 毛宇光 ,徐洁磐 ,韩波 . 2001年全国理论计算机科学学术会议 . 2001
7. 可计算性逻辑中CL2系统的可判定性及空间复杂性分析 [A] . 张艳 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号