国家社会科学基金(08CZX020)
- 作品数：7 被引量：3H指数：1
- 相关作者：裘江杰周北海黄华新更多>>
- 相关机构：浙江大学中国人民大学北京大学更多>>
- 发文基金：国家社会科学基金中国博士后科学基金中国人民大学科学研究基金更多>>
- 相关领域：哲学宗教理学自动化与计算机技术更多>>
- 模态逻辑的典范性问题
- 2009年
- 裘江杰
- 关键词：模态逻辑逻辑学家农业革命语义理论克里普克人类学
- 模态逻辑典范框架的生成子框架被引量：2
- 2009年
- 模态逻辑的典范性由"局部"典范性拼接而成。本文讨论了"局部"典范性问题,即一个模态逻辑的典范框架的什么样的生成子框架是该逻辑的框架。主要的结果是证明了一个逻辑的典范框架的有界宽的生成子框架都是该逻辑的框架,并且典范框架内嵌了所有该逻辑的有穷宽框架。
- 裘江杰
- 关键词：模态逻辑
- 基础认知词模态逻辑
- 2009年
- 自然语言处理涉及推理,出于可实现性的考虑,为之建立逻辑系统需顾及表达力与复杂性之间的平衡。本文给出了一类简单的模态逻辑,它们刻画了认知词一个基本的性质——有限性,统一得到了它们的完全性,并且证明它们都是可判定的。
- 裘江杰黄华新
- 关键词：模态逻辑
- 萨奎斯特逻辑的格
- 2009年
- 以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的。这样得到的逻辑被称为萨奎斯特逻辑。所有的萨奎斯特逻辑组成了一个格。这个格中有可数无穷长的链以及可数无穷长的反链,格中的每个逻辑相对于格的不完全度是1。另外,萨奎斯特逻辑格的子格E具有规整的结构。
- 裘江杰周北海
- Bull定理一个证明的注记
- 2011年
- Blackburn等的ModalLogic是一部优秀的中高阶教材,但是该书中对Bull定理的证明存在着不少疏漏。本文对之进行了修正,同时给出关键步骤的简化证明。
- 裘江杰
- 模态逻辑典范框架几个侧面
- 2013年
- 对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究。为此,总结了关于典范框架的几个侧面的事实。
- 裘江杰
- 基础认知词模态逻辑被引量：1
- 2009年
- 自然语言处理涉及推理,出于可实现性的考虑,为之建立逻辑系统需顾及表达力与复杂性之间的平衡。简单的模态逻辑刻画了认知词一个基本的性质——有限性,统一得到了它们的完全性,并且证明它们都是可判定的。
- 裘江杰
- 关键词：模态逻辑
