论文部分内容阅读
首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。其次，我们引入邻域语义，给出EK1-EK3的特征公理和规则的框架条件，证明EK1-EK3相对这些框架条件分别是框架可靠的。最后，我们证明EK1-EK3相对这些框架条件分别是框架完全的。
他连A都知道——认知逻辑EK1-EK3
【摘 要】
：
首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。其次，我们引入邻域语义，给出EK1-EK3的特征公理和规则的框架条件，证明EK1-EK3相对这些框架条件分别是框架可靠的。最后，
【机 构】
：
中山大学逻辑与认知研究所、中山大学哲学系
【出 处】
：
现代哲学
【发表日期】
：
2006年1期
【基金项目】
：
教育部哲学社会科学研究重大课题攻关项目（04JZD0006）成果之一.
其他文献
目的:观察腹腔镜手术期间,体位对患者呼吸循环功能的影响.方法:本组60例,分为A组和B组,A组为女性腹腔镜胆囊切除术患者30例,术中取反向特伦伯格氏卧位;B组为女性卵巢囊肿切除
文件运动具有跳跃形式，文件跳过第二阶段并不意味着文件是编造的。判断文件处于运动的哪一阶段，要根据文件所发挥的价值和它的保管场所进行分析。现实生活中存在着一些不经过文
目的:探讨酮康唑微囊(Ketoconazole microcapsules)的工艺制备条件和质量控制方法,研究其成囊后的化学物理稳定性及其体外溶出度,为酮康唑微囊新剂型的研制打下基础.方法:采
辽宁省林业厅根据《中华人民共和国森林法》和原国家林业部《森林资源档案管理办法》颁布实施了《辽宁省森林资源档案管理办法》和《国营林场、苗圃科学技术档案管理细则》。
目的:了解住院军人复治肺结核的复发成因及疗效.方法:采用2HRZSE/6HRE治疗方案,就1991～2000年在我院住院的32例复治肺结核患者作以分析.结果:完成治疗的31例患者,29例治愈,治