系统Z中的范式和插入定理

发布时间：2018-04-23 18:50

  本文选题：范式 + 子公式　； 参考：《哲学研究》1999年12期

[Abstract]:......
【作者单位】： 中国社会科学院哲学研究所
【分类号】：B81

【参考文献】

相关期刊论文 前1条

1 张清宇;经典命题逻辑的一个公理系统[J];哲学研究;1997年08期

【共引文献】

相关期刊论文 前6条

1 唐芳芳;;基于广义谢弗竖的分析性模态公理系统[J];逻辑学研究;2009年03期

2 刘新文;;周延理论和内插定理[J];逻辑学研究;2012年02期

3 唐芳芳;;基于破坏性表列的模态公理系统[J];湖南科技大学学报(社会科学版);2009年01期

4 刘新文;;谢弗函数的概念分析[J];世界哲学;2011年04期

5 刘新文;;论命题与括号[J];哲学研究;2008年09期

6 刘新文;;论逻辑常项的归约[J];哲学研究;2011年06期

相关会议论文 前1条

1 刘新文;;命题逻辑的一个括号记法系统[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

相关博士学位论文 前1条

1 刘新文;系统Z的量化扩张及其对话语表现理论的处理[D];中国社会科学院研究生院;2002年

【二级参考文献】

相关期刊论文 前1条

1 张清宇;不用联结词的经典命题逻辑系统[J];哲学研究;1995年05期

【相似文献】

相关期刊论文 前10条

1 王勋敏;知识理性与价值理性──中国古代文本阐释的双轨与多维[J];湖北大学学报(哲学社会科学版);1996年02期

2 Joanna Radwanska-Williams ,李咏燕;《失落的范式──M.Kruszewski的语言学理论》评介[J];当代语言学;2000年03期

3 王斌;翻译研究概述[J];上海理工大学学报(社会科学版);2003年03期

4 王炜;多元重构:中国新文学史范式变革趋向[J];曲靖师范学院学报;2004年01期

5 滕翠钦;初唐诗歌的范式、大众化和唐诗的繁荣[J];龙岩师专学报;2004年04期

6 汪雷;;农村合作医疗:范式及其重构[J];医学与哲学(人文社会医学版);2006年08期

7 温福英;;浅析《科学革命的结构》对后现代主义的影响[J];福建广播电视大学学报;2007年01期

8 崔景贵;;“理解人性”：人本主义与心理教育范式[J];思想理论教育;2007年19期

9 赵明;;范式“不可通约性”解析[J];和田师范专科学校学报;2008年02期

10 许晓容;曹春宇;;论《风中少林》的运作模式与范式价值[J];体育文化导刊;2008年04期

相关会议论文 前10条

1 何树全;;走动式——高校辅导员工作范式初探[A];福建省高校思想政治教育研究会2007年年会优秀论文专辑（二）[C];2007年

2 黄涛;;论构建生态技术范式[A];2009中国可持续发展论坛暨中国可持续发展研究会学术年会论文集(上册)[C];2009年

3 方巍;;关于社会排斥概念的本土化思索[A];秩序与进步：社会建设、社会政策与和谐社会研究——浙江省社会学学会成立二十周年纪念暨2007学术年会论文集[C];2007年

4 林斐;;自我教育:大学生心理健康教育新范式[A];福建省高校思想政治教育研究会2009年年会优秀论文专辑（一）[C];2010年

5 万静静;;浅谈不同历史时期翻译范式研究[A];语言与文化研究（第六辑）[C];2010年

6 漆昌柱;;运动员高级认知过程研究的方法范式探析[A];第七届全国体育科学大会论文摘要汇编（二）[C];2004年

7 郭永玉;;特质、动机和叙事：人格研究的三种范式及其整合[A];第十一届全国心理学学术会议论文摘要集[C];2007年

8 杜国平;;三值逻辑Sheffer[A];2005年逻辑研究专辑[C];2005年

9 戴冬香;;对我国旅游经济学学科研究的认识与思考[A];旅游学研究（第五辑）[C];2010年

10 雷曜;;管理教育范式与模式的比较研究[A];2001年中国管理科学学术会议论文集[C];2001年

相关重要报纸文章 前10条

1 记者 黄莉莉;我市举行纪念范式人同志诞辰100周年座谈会[N];闽东日报;2009年

2 白刚 张荣艳;当代社会发展的三大理论范式[N];社会科学报;2001年

3 ;“范式”死了[N];中国图书商报;2000年

4 李怀斌;不确定性市场环境与自适应型企业范式[N];经济日报;2003年

5 吕琴;大变局与历史范式[N];中国图书商报;2001年

6 冯之浚　张伟　郭强　徐高田;循环经济与末端治理的范式比较研究[N];光明日报;2003年

7 ;开创新的范式[N];建筑时报;2003年

8 中国人民大学新闻学院硕士 周俊;信息技术、传播范式和社会行为[N];中国新闻出版报;2004年

9 朱小宁;打破军事学术研究中的“范式”[N];解放军报;2001年

10 王习平;用什么样的教育面对未来[N];山西日报;2001年

相关博士学位论文 前10条

1 宫淑红;美国教育技术学的历史与范式演变[D];华南师范大学;2003年

2 魏建;当代西方法经济学的分析范式研究[D];西北大学;2001年

3 高峻;基于汶川地震重建的农居建造范式及其策略研究[D];浙江大学;2012年

4 杨慧文;变革中的教师教育范式：海峡两岸之比较研究[D];华东师范大学;2003年

5 覃江梅;音乐教育哲学的审美范式与实践范式[D];南京师范大学;2008年

6 孙新强;美国《统一商法典》法理思想研究[D];山东大学;2005年

7 张善根;知识变迁与社会意涵[D];上海大学;2008年

8 庄锦英;情绪影响决策内隐认知机制的实验研究[D];华东师范大学;2003年

9 李明伟;媒介形态理论研究[D];中国社会科学院研究生院;2005年

10 周传斌;中国民族理论新范式的探索[D];中央民族大学;2005年

相关硕士学位论文 前10条

1 陈志刚;西方主流经济学范式的历史演变与中国经济学范式的传承重建[D];武汉理工大学;2002年

2 周晓梅;翻译研究中的意向性问题[D];南京师范大学;2007年

3 张继山;闲暇教育与校本课程开发之关系研究[D];首都师范大学;2005年

4 邓凡茂;课堂评价范式之研究[D];南京师范大学;2005年

5 李仲泉;普通学校音乐教育审美范式的审视[D];南京师范大学;2004年

6 魏成宇;宫体传统与花间传统[D];山东师范大学;2006年

7 潘丽霞;知识经济条件下公共行政范式的演变[D];四川大学;2003年

8 穆静;基础教育中的技术教育范式研究[D];南京师范大学;2004年

9 李缨;建构中国特色判例制度刍议[D];四川大学;2005年

10 罗丹;从主体性到交互主体性：从独白到对白[D];湖南师范大学;2006年

，

本文编号：1793171