【摘 要】
：
相干逻辑在20世纪20年代被提出来,目的是避免经典数理逻辑和模态逻辑中出现的实质蕴涵怪论和严格蕴涵怪论.蕴涵怪论,如p→(q→p),┐p→(p→q),(p→q)∨(q→r),((p∧q)→r)→(
【机 构】
：
中山大学逻辑与认知研究所,广东广州,510275
论文部分内容阅读
相干逻辑在20世纪20年代被提出来,目的是避免经典数理逻辑和模态逻辑中出现的实质蕴涵怪论和严格蕴涵怪论.蕴涵怪论,如p→(q→p),┐p→(p→q),(p→q)∨(q→r),((p∧q)→r)→(p→r)∨(q→r),(p∧┐p)→q,p→(q→q)等等,虽然是经典逻辑或模态逻辑的定理,但都不能很好地表达有效的推理形式.
其他文献
生态文明建设是构建和谐社会的一个支撑点。本文利用生态足迹方法,对新疆的可持续发展状况进行了评价,按评价结果指出了新疆今后在生态文明建设中的走路方向。
The construc
风能属于可再生的清洁能源,其具有很多优点,在电力系统中发挥着越来越重要的作用.叶片作为风机重要组成部件,如出现损伤维修成本极昂贵,且若不能及早发现问题甚至可能引发严
“80后”王储大刀阔斧的反腐行动是对沙特民众呼声的响应。多年来，高层腐败是影响沙特发展的一个痼疾。此次雷霆万钧的反腐风暴，有望为正在步入深水区的全面改革铺平道路。 据官方的沙特阿拉伯通讯社报道， 当地时间11月4日晚，沙特国王萨勒曼颁布国王令，宣布成立由他的儿子、现年32岁的王储穆罕默德·本·萨勒曼为主席的最高反腐委员会。据悉，该委员会成立后数小时内，以涉嫌腐败和洗钱等犯罪行为为由，拘捕了11位
夏天,雨水充沛,气温高,植物生长茂盛,《尔雅·释天》称之为"春为发生,夏为长赢"。夏天是一个充满生机、活力和向上气息的季节。这两天,刚刚参加完"2017世界移动大会-上海",展会上,物联网成为最受关注的热点,整个产业界都很兴奋,因为越来越多的物联网应用开始落地开花,物联网即将进入一个产业大爆发的时代。
以建筑为信道,将数字信息转化为建筑的纹理,从而实现基于建筑纹理的数字通信.以标准砖砌墙为例,以两个相叠的115mm*53mm(长*宽)的截面代表信号0,两个并列的53mm*115mm的截面
秋水石油公司是一个有着近六十年发展历史的国有石油石化企业,1998年整体上收后并入远东石化集团,2000年随总公司一体上市,是秋水省内最大的成品油销售企业.随着经济全球化的
边缘区域,是指在一个广域内经济发展水平较低,远离经济增长中心并且缺乏采用典型发展模式转入快速增长轨道的条件的区域。随着区域差距不断成为人们关注的焦点,中国正面临着
教室的窗外,是几棵槐树,白白的花儿如雪般洁净。上课的时候,就有几只小鸟在树上唧唧喳喳地叫,叫得人心里一片明亮。这时,黄宛如老师看看我们,再看看鸟儿,脸上总会露出笑来,槐
沟通是一门艺术,当前医患沟通不良是造成医患关系紧张、医疗纠纷居高不下的重要的直接原因.并且,医务人员与患者这两大主体自身的伦理道德素养水平不足以及两者间的信任危机,
经过近一年的运行,改革后的乡镇机构职能逐步明确,工作效率和服务意识明显提高,但在实际工作中还存在一些问题。一、主要问题(一)乡镇权责不对等,职能转变缓慢。乡镇机构改革