林哲

作品数：3被引量：20H指数：1
导出分析报告
供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
发文主题：函数依赖逻辑系统子结构时态数据库时态查询更多>>
发文领域：哲学宗教自动化与计算机技术更多>>
发文期刊：《逻辑学研究》《哲学动态》《计算机学报》更多>>
所获基金：国家社会科学基金国家自然科学基金广东省自然科学基金教育部重点实验室基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带否定算子的兰贝克演算研究被引量：1
《逻辑学研究》2018年第3期34-43,共10页林哲 梁飞 
国家社会科学基金项目(13&ZD186)
本文研究否定算子的兰贝克演算,提出了兰贝克演算的极小否定扩张,刻画了兰贝克演算的极小否定扩张的代数模型,同时证明了兰贝克演算的极小否定的扩张判定性,并发展了该逻辑的一个根岑序列演算。同时本文也将结论拓展到兰贝克演算的德摩...
关键词：兰贝克演算 否定 根岑系统 判定性 
演绎后承概念的逻辑分析被引量：1
《哲学动态》2018年第5期100-105,共6页林哲 
国家社会科学基金项目"非经典模态逻辑的证明论与语义学研究"(17CZX048)的阶段性成果
塔尔斯基从句法方面引入了演绎后承概念,并界定了演绎后承的一般抽象性质。大量关于非经典逻辑演绎后承关系的研究,均来自对塔尔斯基演绎后承概念的反思和批判。塔尔斯基演绎逻辑后承与语义逻辑后承是两个不同又密切相关的概念,目前尚...
关键词：塔尔斯基演绎后承 语义逻辑后承 非经典演绎后承 
基于时态数据库的极小子结构逻辑系统被引量：19
《计算机学报》2013年第8期1592-1601,共10页刘冬宁 汤庸 滕少华 林哲 
国家自然科学基金(61272067;60970044;61104156);广东省自然科学基金(10451009001004804);广东省自然基金团队研究项目(S2012030006242);广东省战略新兴产业项目(2011168005;2011A010801007);教育部重点实验室基金(110411)资助~~
逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数...
关键词：时态数据库 子结构逻辑 时态查询 函数依赖 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部