【摘 要】
：
这篇文章研究深度和弱宽度都有穷的传递逻辑类的可有穷公理化问题,并给出了正反两方面的结论。在正面方面,本文证明了对每个深度有穷且弱宽度为1的传递逻辑L,如果L 的框架中
【机 构】
：
中国人民大学哲学院、哲学与认知科学跨学科平台
【基金项目】
：
fund for building world-class universities (disciplines) of Renmin Univeristy of China, Project No. 2019.
论文部分内容阅读
这篇文章研究深度和弱宽度都有穷的传递逻辑类的可有穷公理化问题,并给出了正反两方面的结论。在正面方面,本文证明了对每个深度有穷且弱宽度为1的传递逻辑L,如果L 的框架中反链的禁自返点基数都不大于某个自然数n,那么L 是有穷可公理化的。对于反面结论,本文证明了对任意n≥ 3 和k ≥ 2,存在深度为n 且弱宽度为k 的传递逻辑是不可有穷公理化的。
其他文献
目的 为充分有效地利用护理人力资源,真正发挥人力技术优势,确保护理工作的质量与效果.方法 挑选全院各专科最优秀的护理技术骨干,组成特护指导小组,小组成员经过严格地专业知识学习与专业技能培训.结果 在2年多的实践中,不仅使各类危急重症患者得到了最有效、最满意的救治与护理,而且使护理队伍的整体素质得到了快速提高.结论 特护指导小组在护理工作中不仅有效发挥了技术指导优势,而且起到了临时性护理任务增援及突
高职院校的体育教学应服务于学生的职业生涯,高度关心学生未来持续发展,开展职业实用性体育教学,文章拟从职业实用性体育课程内涵、高职院校实施职业实用性体育课程的意义,高
针对目前词汇教学中普遍存在的问题,文章探讨了语境在词汇教学中的作用。没有语境,就没有语言,语境是理解和解释词义的必要条件;词汇和语境是相互依存的,词汇教学应该与语境
唇裂是妊娠初3个月由于遗传或环境，胚胎原口周围组织发育受阻而致上唇融合缺陷造成的先天性疾病。唇裂患者Ⅰ期可以直接缝合进行修复，但经过修复后的唇外形，留有明显瘢痕，仍需要
目的 了解精神科患者对于病房安全管理的需求及态度,寻找半开放式精神科病房安全管理的有效措施.方法采用自行设计的调查表对168例精神科住院患者的家属探访地点、与护士的接触沟通和对日常安全检查的接纳程度及方式进行调查.结果有53.6%的患者选择在病房接待家属的探访,65.5%患者希望家属探访时有护士在场,84.5%患者希望护士能及时与家属沟通;6%患者选择不管如何都不接受安全检查,46.4%患者选择解
目的 调查反复呼吸道感染患儿家长的焦虑状况,了解焦虑原因,探索解决问题的护理方法.方法 以焦虑自评量表(SAS)对50名陪护患儿的家长进行评定.结果 50名患儿家长所得总分标准分均值(44.50±11.58).初中以上文化家长所得总分标准分均值(47.24±9.90);初中以下文化家长所得总分标准分均值(38.69±13.03),前者高于后者,有统计学意义(P＜0.05).结论 不同文化程度患儿家