您的位置： 专家智库 > >

祝瑞

作品数：1 被引量：1H指数：1
供职机构：中国社会科学院研究生院更多>>
发文基金：国家社会科学基金更多>>
相关领域：历史地理更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇历史地理

主题

  • 1篇定理
  • 1篇内在化
  • 1篇逻辑
  • 1篇逻辑系统
  • 1篇逻辑学
  • 1篇逻辑学家
  • 1篇名字

机构

  • 1篇中国社会科学...
  • 1篇中国社会科学...

作者

  • 1篇刘新文
  • 1篇祝瑞

传媒

  • 1篇哲学研究

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
加名字核证逻辑的极小系统被引量：1
2014年
美国逻辑学家M·斐汀在2010年对核证逻辑与混合逻辑的组合进行了初步尝试，给出了第一个混合版本的核证逻辑系统JT及其完全性和显式性定理的证明。（cf.Fitting，2010）由于技术原因，这个逻辑在证明内在化定理时要用到对自返性典范的事实公理，所以它还不是这一族逻辑中最小的系统。本文旨在把斐汀建立的逻辑弱化到核证逻辑J的对应，给出该族逻辑的一个极小系统，
祝瑞刘新文
关键词：逻辑学家逻辑系统内在化定理
全选 清除 导出
共1页<1>
聚类工具0