论文部分内容阅读
首先，构造条件化的知信系统DC，给出一些证明论结果。其次，引入命题型的择类语义，给出DC的特征公理的框架条件，证明DC是框架可靠的。最后，证明DC是框架完全的。
一个条件化的知信逻辑
【摘 要】
：
首先，构造条件化的知信系统DC，给出一些证明论结果。其次，引入命题型的择类语义，给出DC的特征公理的框架条件，证明DC是框架可靠的。最后，证明DC是框架完全的。
【机 构】
：
中山大学
【出 处】
：
中山大学
【发表日期】
：
2009年期
其他文献
道德与法律的关系问题是法律正当性中的一个重要问题之一。基于各自的学术立场,哈特、德沃金与哈贝马斯这三位最有代表性的思想家对道德与法律的关系作了不同的阐释,进而彰显
学位
回顾20世纪后50年TT&C(遥测、跟踪和遥控)技术得到大发展的历史背景、TT&C的根本任务和在优势环境下取得的主要成就.根据目前国际形势,指出21世纪TT&C进一步发展所处的主要环
自由是人类毕生所追求和向往的。无论是在生产力落后的远古时代，还是在商品经济迅猛发展的今天，人类对自由问题探索的脚步丝毫没有停止过。 本文旨在时间的维度来探讨自由问
传统儒商是指受儒家为代表的中国传统文化的影响，具有良好的文化道德素养和优秀的经营才能，其经营理念和行为方式体现出传统儒家文化特色的商人。作为儒家文化与商品经济相互结
对技术异化的研究一直是技术哲学领域的重要问题，但是已有的研究多是针对技术异化在各个层面的消极作用来讨论的，对异化根源的研究尚不够深入。加强这方面的研究具有重要的理论
[本刊讯]每年10月14日是世界标准日,国际电工委员会,国际标准化组织和国际电信联盟联合发出世界标准日祝词.今年的主题是“标准造福人与社会”,旨在更好地发挥国际标准在人身
本文试图从嵇康著作入手，结合学界已有研究成果，阐发嵇康养生思想之内涵。本文以为嵇康养生的直接目的是为了延寿，其养生之术分为养形与养神两方面，最终达到“自然之和”的境界。
逻辑精神是人们在运用逻辑解决问题中所体现出来的一种态度。中国古代逻辑精神的主流是求真、求治、求善的。因此名家以求真为重的思维方式就显得与传统格格不入。西方逻辑精
学位