聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 直觉主义逻辑上的公理化真理论
出处:逻辑学研究 2015年第3期
摘要:本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真... 显示全部
关键词: 直觉主义逻辑 公理化真理论 类型 去引号 组合
期刊文章 常逻辑公式与可定义性
出处:湖南科技大学学报:社会科学版 2013年第6期23-27,共5页
摘要: 常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集... 显示全部
关键词: 模态逻辑 直觉主义逻辑 框架类 可定义
期刊文章 论逻辑系统的波斯特完全性
出处:自然辩证法研究 2012年第11期14-18,共5页
摘要:波斯特完全性是一种句法意义上的完全性概念,它区别于语义完全性。如果一个逻辑系统是一致的并且增加任何... 显示全部
关键词: 波斯特完全性 古典命题逻辑 直觉主义逻辑 模态逻辑
期刊文章 核证逻辑研究概观
出处:哲学动态 2013年第11期93-97,共5页
摘要:核证(Justification)的概念自柏拉图以来就是认知研究中的一个重要部分。在现实中,我们通过给出一个证据... 显示全部
关键词: 逻辑研究 概观 直觉主义逻辑 认知研究 逻辑模型 模态逻辑 认知理论 认知逻辑
在线阅读 下载全文
找到4条结果
`