代数模型

作品数：127被引量：419H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王全九孙晶赵会群刘小雄章卫国更多>>
相关机构：上海交通大学清华大学西安理工大学北京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国科学院知识创新工程重要方向项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=逻辑学研究x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
对称的时态海廷代数
《逻辑学研究》2022年第3期18-35,共18页葛雪 
本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展。本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代...
关键词：时态逻辑 证明论 希尔伯特 代数模型 直觉主义 代数逻辑 
语境同义性逻辑(英文)被引量：1
《逻辑学研究》2010年第4期1-11,共11页文学锋 
supported by the National Social Science Foundation of China(grant number 09CZX031)
众所周知,基于可能世界语义的内涵逻辑由于对意义的刻画过于粗粝而导致了所谓的"超内涵问题"。为了解决超内涵问题,出现了各种超内涵逻辑,其中由Suszko提出的带等词的命题逻辑(SCI)是超内涵逻辑中最基本的一种。本文是对SCI的精炼,其动...
关键词：语境依赖性 内涵逻辑 同义性 命题逻辑 公理系统 代数模型 可能世界 语境主义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部