首页> 中文期刊> 《华南师范大学学报（社会科学版）》 >斯穆里安合并记法的一种变形

斯穆里安合并记法的一种变形

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式,由此任何一个公式都可被分解为前件和后件两个部分.这一合并简化了斯穆里安著名的合并记法.就这一新的合并记法,提出了两种结构归纳证明,建立了一个希尔伯特型古典逻辑系统,并证明其完全性.

著录项

来源
《华南师范大学学报（社会科学版）》 |2010年第3期|107-111|共5页
作者
熊明;
展开▼
作者单位

华南师范大学,政治与行政学院,广东,广州,510631;

展开▼
原文格式 PDF
正文语种 chi
中图分类 B813;
关键词
公式; 斯穆里安合并记法; 结构归纳法; 实质蕴涵; 荒谬蕴涵;

相似文献

中文文献
外文文献
专利

1. 阿里安斯管线输气准备为温福压气机站承担干线任务——阿里安斯管线的主压气机 [J] . Burns.P . 内燃机世界 . 2000,第001期
2. 57Co穆斯堡尔源的一种电沉积方法 [J] . 邓真明 ,陈明生 . 四川大学学报：自然科学版 . 1995,第006期
3. “散打沙皇”穆斯里穆访谈 [J] . 姚栋 . 拳击与格斗 . 2014,第2期
4. 国际视野中的城市化挑战与策略哈佛大学设计学院院长穆赫辛·穆斯塔法维访谈 [J] . 王林 . 时代建筑 . 2010,第004期
5. 俄罗斯优秀散打运动员穆斯里穆技术运用指标分析 [J] . 尹海立 ,李杰 ,李臣锋 . 广州体育学院学报 . 2009,第005期
6. 论萨穆伊尔·马尔沙克的讽刺长诗《特维斯杰尔先生》的思想艺术特点 [C] . 曹安娜 . 第六届“俄罗斯学”研究生国际学术论坛 . 2017
7. 画中怪诞者，鉴也——就希罗尼穆斯·博斯的绘画谈现实与理想 [A] . 关昕宇 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号