【摘 要】
：
Firstly,the authors analyzed the properties of primary-onditionals and secondary-conditionals,establish the minimum system C2Lm of primary-conditionals and seco
【机 构】
：
Department of Philosophy,Peking University,Beijing 100871,China“,”Institute of Logic and Cognition,S
论文部分内容阅读
Firstly,the authors analyzed the properties of primary-onditionals and secondary-conditionals,establish the minimum system C2Lm of primary-conditionals and secondary-conditionals,and then prove some of the formal theorems of the system which have important intuitive meanings.Secondly,the authors constructed the neighborhood semantics,prove the soundness of C2Lm,introduce a general concept of canonical model by the neighborhood semantics,and then prove the completeness of C2Lm by the canonical model.Finally,according to the technical results of the minimum system C2Lm,the authors discuss some of the important problems concing primary-conditionals and secondary-onditionals.
其他文献
基础教育课程改革强调改变课程管理过于集中的状况,实行国家、地方、学校三级课程管理体制。而在三级管理体制中,我认为学校的作用是最大的,因为学校是课程改革的最终发生地,
近年来诉讼欺诈行为愈来愈多,但在司法实践中与理论研究中,对于诉讼欺诈仍存在较大争议,虚假诉讼罪第三款有意区分了虚假诉讼行为与以非法占有为目的的诉讼欺诈行为,但没有对
随着我国基础设施建设进程的不断加快,我国铁路站房工程项目的数量不断增多,站房项目建设的管理也日益提升.建设企业要想在当前完成紧迫的建设任务,实现可持续发展的目标,就
Based on a close study of benchmark examples in default reasoning,such as Nixon Diamond,Penguin Principle,etc.,this paper provides an in depth analysis of the b
2013年8月20日,为切实开展党的群众路线教育实践活动,按照《伊金霍洛监狱党的群众路线教育实践活动进度表》的安排,伊金霍洛监狱举办“严格执行制度确保实现‘六无’”主题书
中国传统美术是我国古代文明的重要组成部分,长久以来受传统美术影响,我国的制造工业取得了极为快速的发展,多元化的物质发展为现代工业设计提出了更高的要求,而传统美术元素
2007年12月10日,一年一度的诺贝尔奖颁奖.自1957年美籍华人李政道、杨振宁获诺贝尔奖以来,中国人一直希望本土科学家能获诺贝尔奖.
针对现有入侵检测方法的问题,面向软件行为可信需求,提出了一种新的静态检测方法.首先讨论并给出了软件行为可信性的定义和形式化描述,并以指令序列形式进行表示；然后,提出了
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
缓刑制度作为一种刑罚制度,是刑法宽严相济原则的产物,它避免了短期自由刑的弊端,在教育改造犯罪分子方面有重大作用,正确的缓刑制度对未成年犯的定罪量刑甚至预防未成年人犯