直觉主义逻辑

作品数：53被引量：31H指数：3
导出分析报告
相关领域：哲学宗教理学更多>>
相关作者：任晓明李娜董克诚刘大中刘新文更多>>
相关机构：西南大学华东师范大学南开大学河北大学更多>>
相关期刊：《学理论》《哲学研究》《湘潭大学学报（哲学社会科学版）》《南京大学学报（自然科学版）》更多>>
相关基金：国家社会科学基金教育部人文社会科学重点研究基地度重大研究项目湖南省哲学社会科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
接受一种逻辑,接受一种理论
《社会科学战线》2024年第11期1-15,281,共16页 唐瑞雪(译) 
文章回应了索尔·克里普克对采用择代逻辑想法的批评,捍卫一种反逻辑例外论。根据这种观点,接受一种新逻辑是接受一种新科学理论的特殊情况。关于量化模态逻辑的争论详细地说明了这一观点。民间逻辑与科学逻辑的区分以民间物理学与科学...
关键词：模态逻辑 直觉主义逻辑 择代逻辑 克里普克 蒯因 达米特 普特南 
逻辑基础理论与概念的新探索——2021年国内逻辑学研究述评
《中国哲学年鉴》2022年第1期173-181,共9页贾青 刘新文 
2021年的逻辑学研究成果主要集中于两个研究方向:一是基础理论方面的研究,例如对“所以”以及算术基本概念的讨论、对“弹弓论证”的解读以及直觉主义逻辑和模态对应理论的研究等;二是哲学逻辑方向,其中又以认知逻辑、论辩逻辑和动态逻...
关键词：逻辑学研究 哲学逻辑 直觉主义逻辑 认知逻辑 动态逻辑 基础理论 弹弓论证 论辩逻辑 
弱逻辑F的矢列演算
《逻辑学研究》2021年第1期28-48,共21页陈钰 
国家社科基金重大项目(17ZDA026)。
本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的。此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F嵌入到G3K的新证明。
关键词：严格蕴涵逻辑 亚直觉主义逻辑 切割消去定理 
直觉主义视角下量子逻辑的进一步解释
《计算机科学》2020年第5期1-6,共6页周恒 王拥军 王宝山 燕健 
国家自然科学基金(11871083)。
量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子空间表示量子物理系统的性质,构成正交模格,其元素有明确的物理意义,但无法刻画叠加性质;Bob Coecke填加...
关键词：量子计算机 叠加性质 直觉主义逻辑 析取元素 观察者视角 测量 
基于构造性思想的直觉主义逻辑证明语义
《逻辑学研究》2020年第2期14-28,共15页程华清 
布劳威尔的直觉主义把数学理解为心智的构造性活动,只接受心智可构造的数学对象和数学证明。在直觉主义看来,判定一个命题为真必须要给出这个命题的构造性证明,对逻辑联结词及量词的理解也是基于构造性立场的。本文构建了直觉主义逻辑...
关键词：直觉主义逻辑 构造性思想 证明语义 
直觉主义逻辑的直观语义与形式语义
《思想与文化》2019年第1期164-174,共11页程华清 
直觉主义逻辑的直观语义(即"证明解释")是直觉主义逻辑建立的基础,它遵循直觉主义的构造性立场,但"构造性证明"这个内涵概念依赖于人们的直观理解。直觉主义逻辑的形式语义更为精致,其中以对话语义为代表的博弈式语义和以克里普克(Krip...
关键词：直觉主义逻辑 直观语义 形式语义 
范畴语法层级系统及其在自然语言计算中的优劣分析
《周口师范学院学报》2019年第1期1-6,共6页姚从军 李奕丹 
湖南省社科基金一般项目"面向汉语信息处理的CCG词库研究"(17YBA397)
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级"。对于自然语言的计算处理来说,各层级系统各有优劣。虽然原始兰贝克演算较好地体现了自然语言的资源管理方式,但它是一种非结合非交换的系统,故在计算处理上存在...
关键词：直觉主义逻辑 相干逻辑 线性逻辑 兰贝克演算 混合范畴类型逻辑 
可重构安全系统建模与配置生成方法研究
《软件学报》2018年第12期3635-3647,共13页肖玮 陈性元 杜学绘 李海玉 陈宇涵 
国家高技术研究发展计划(863)(2012AA012704);国家自然科学基金(61502531).
以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,关于重构机理的研究主要采取基于功能候选集的静态重构配置生成方法,可重构安全系统作为一种主动安全防御...
关键词：可重构安全系统 直觉主义逻辑 安全重构元 重构机理 
句法演算层级系统与类型化λ-演算的对应关系之探析
《晋中学院学报》2018年第5期16-26,共11页姚从军 李奕丹 
湖南省社科基金一般项目:"面向汉语信息处理的CCG词库研究"(17YBA397)的阶段成果
在直觉主义逻辑和兰贝克演算之间,各演算的区别由结构规则的去留决定,于是形成了"结构层级"和"子结构逻辑"。在这些层级系统和类型化的兰姆达演算之间建立对应关系,便可实现句法范畴和语义表达式的并行推演,从而得到自然语言表达式的语...
关键词：直觉主义逻辑 兰贝克演算 兰姆达演算 柯里-霍华德对应 
直觉主义逻辑上的Friedman-Sheard理论被引量：1
《逻辑学研究》2018年第2期75-93,共19页李晟 李娜 
国家社会科学基金项目"公理化真理论研究"(项目编号:12BZX059)
文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数...
关键词：直觉主义逻辑 公理化 真理论 IFS理论 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部