相干逻辑

作品数：36被引量：22H指数：3
导出分析报告
相关领域：哲学宗教更多>>
相关作者：冯棉周北海贾青陈波桂起权更多>>
相关机构：华东师范大学北京大学中国社会科学院哲学研究所武汉大学更多>>
相关期刊：《河南社会科学》《逻辑学研究》《哲学动态》《科学技术哲学研究》更多>>
相关基金：国家社会科学基金教育部规划基金项目国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=逻辑学研究x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
相干逻辑的三种语义解释
《逻辑学研究》2018年第3期44-57,共14页贾青 
国家社科基金重大项目(12&ZD119)
基本正系统B_+是若干相干逻辑正系统的基础,通过添加新的公理模式就能在B_+的基础上得到一系列不同的相干逻辑正系统。Meyer和Routley(1972)以及Routley和Meyer(1972)分别给出了B_+及其一系列扩充的代数语义和关系语义,Meyer和Routley(1...
关键词：相干逻辑 推理语义 代数语义 关系语义 
编者导语
《逻辑学研究》2015年第1期1-1,共1页刘新文 
现代逻辑是一个广泛的领域,自从弗雷格、皮尔士等创立以来,已经有一个多世纪的历史,经历了20世纪30年代的＂数理逻辑黄金时代＂和70年代的＂哲学逻辑黄金时代＂。逻辑也是一个变动不居的概念。20世纪前30年间,我们大致可以说逻辑就是类...
关键词：现代逻辑 弗雷格 类型论 哲学逻辑 皮尔士 一阶逻辑 逻辑形式 相干逻辑 公理化 何树 
相干逻辑关系语义的推理解释被引量：3
《逻辑学研究》2015年第1期50-64,共15页周北海 贾青 
国家社科基金重大项目(批准号12&ZD119)
关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间...
关键词：相干逻辑 关系语义 推理语义 
相干逻辑的情境论解释被引量：1
《逻辑学研究》2013年第4期105-115,共11页胡光远 
相干逻辑的情境论解释属于相干逻辑的直观语义。情境论以集合论的方式处理信息,用"邻界"的概念拓宽了可能世界语义学。情境论不仅以直观的方式解释了相干逻辑,还在相干逻辑如何解决蕴涵怪论,如何进一步修正逻辑上具有重要作用,理当受到...
关键词：相干逻辑 情境论 信息 邻界 
一类命题逻辑的一般弱框架择类语义
《逻辑学研究》2011年第2期20-34,共15页冯棉 
教育部人文社会科学重点研究基地重大项目<结构推理及其应用研究>(10JJD720010)
命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是:采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应关系,可以从整体上处理一类逻辑,具有普适性。本文将这种语义用于一类B、C、K、W命题逻辑,包括相干逻辑...
关键词：结构规则 相干逻辑 线性片段 直觉主义逻辑 BCK片段 一般弱框架择类语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部