加名字核证逻辑的极小系统

发布时间：2017-11-23 15:12

  本文关键词：加名字核证逻辑的极小系统

  更多相关文章： 内在化 定理证明 公理系统 重言式 可能世界 技术原因 完全性 常项 命题变元 可证

【摘要】：正美国逻辑学家M·斐汀在2010年对核证逻辑与混合逻辑的组合进行了初步尝试,给出了第一个混合版本的核证逻辑系统JT及其完全性和显式性定理的证明。(cf.Fitting,2010)由于技术原因,这个逻辑在证明内在化定理时要用到对自返性典范的事实公理,所以它还不是这一族逻辑中最小的系统。本文旨在把斐汀建立的逻辑弱化到核证逻辑J的对应,给出该族逻辑的一个极小系统,进而简化系统JT的元定理证明,从而解决斐汀在其文章最后提出来的一个主要问题。
【作者单位】： 中国社会科学院研究生院哲学系;中国社会科学院哲学研究所;
【基金】：国家社会科学基金项目“可能世界的名字”(编号12BZX061)的研究成果
【分类号】：B81-05
【正文快照】： 美国逻辑学家M?斐汀在2010年对核证逻辑与混合逻辑的组合进行了初步尝试,给出了第一个混合版本的核证逻辑系统JT及其完全性和显式性定理的证明。(cf.Fitting,2010)由于技术原因,这个逻辑在证明内在化定理时要用到对自返性典范的事实公理,所以它还不是这一族逻辑中最小的系统。

【相似文献】

中国期刊全文数据库 前10条

1 刘立辉;;英国巴罗克时期诗歌的时间内在化构建[J];外国文学;2014年03期

2 黄琦;;试论阅读课型中实现语言内在化的有效途径[J];英语新世纪;2012年05期

3 黄映辉;学习型组织的知识创新机理[J];辽宁师范大学学报;2004年02期

4 雷静;;理学视野中天下责任的道德实践[J];华北电力大学学报(社会科学版);2013年02期

5 陈刚;;作为文字语言的语调[J];学海;2010年05期

6 杨琛;;略论新诗的节奏与格律[J];鸡西大学学报;2011年08期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前1条

1 金艳燕;李晓晓;吕琼;徐志卿;;5羟色胺1A受体亚型的内在化研究[A];Proceedings of the 8th Biennial Conference of the Chinese Society for Neuroscience[C];2009年

中国硕士学位论文全文数据库 前4条

1 李春蓉;环境成本内在化政策研究[D];西南政法大学;2006年

2 迟志锋;基于环境成本内在化视角的劳动密集型产业比较优势分析[D];中国海洋大学;2008年

3 曾翼;洗钱与反洗钱的外部性及其内在化问题研究[D];湖南大学;2007年

4 张楠;环境成本内在化及其对国际贸易的影响[D];江南大学;2008年

，

本文编号：1218883