贵州省社科规划课题(12GZYB63)
- 作品数：3 被引量：0H指数：0
- 相关作者：董英东更多>>
- 相关机构：毕节学院西南大学更多>>
- 发文基金：贵州省社科规划课题贵州省优秀科技教育人才省长资金项目更多>>
- 相关领域：哲学宗教理学社会学经济管理更多>>
- 浅议王延直的《普通应用论理学》
- 2012年
- 王延直先生的《普通应用论理学》一书对传统逻辑学进行了系统而全面的介绍,以中国论理学为名,将西方的传统逻辑知识引入中国,对提高当时国人的理性思维能力起到了重要的作用,但对形式系统方面的研究涉及得较少。
- 董英东
- 组合模态逻辑
- 2013年
- 通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。
- 董英东
- 关键词：复杂度
- 动态逻辑的强完全性和不协调性
- 2012年
- 动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集,正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统,是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的,而是公式协调的。
- 董英东
- 关键词：认知逻辑动态逻辑
