论文部分内容阅读
刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑C2Lm。以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的。另外建立了C2Lm的一个刻画某种多余条件的扩充系统C1,证明了它的一些语法及语义性质。
主次条件句中的多余条件问题
【摘 要】
：
刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑C2Lm。以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的。另外建立了
【机 构】
：
北京大学哲学系
【出 处】
：
湖南科技大学学报(社会科学版)
【发表日期】
：
2012年5期
其他文献
毛泽东同志十分重视党和国家机关的廉政建设,提出了加强廉政建设的基本路径,即思想育廉、以俸养廉、榜样带廉、制度保廉和民主督廉等。毛泽东同志一直坚持从严治党,主张在对
<正> 充分回收和利用余热,已成为国内外发展化学工业的战略措施之一。60年代,我国就开始探索如何回收硫铁矿制酸工艺中焙烧反应热的余热并加以利用,大多数大中型硫酸厂安装了
<正> 我国的汽车发动机以汽油机为生,但目前在用车辆上的汽油机普遍存在油耗高的问题,所以如何提高汽油机的经济性、实现节能,一直是人们关注的课题。内燃机掺水燃烧是一项节
<正> 一、前言 我国高寒地区的制粉厂,冬季为小麦加热升温、水分调节和车间取暖,多年来普遍应用蒸汽供热。由于制粉厂的生产规模相对较小,不可能安装较大容量、较高参数的锅
患者男性，56岁，因胸痛3小时急诊入院。入院查体：体温36.8℃，脉搏101次/分，呼吸22次/分，血压109/75 mmHg（1 mmHg=0.133 kPa）。心肺听诊无异常。心电图V1-V4导联ST段弓背向上抬高3-4 mm
放支架了，也就是冠状动脉支架治疗缺血性心脏病，每年全世界可能有数以百万计的患者接受这样的治疗。关于术后，尤其是一年以后该如何治疗，近些年一直是学术界及心内科医生争论的众
美国股神巴菲特旗下的中美能源控股公司12月7日宣布与第一太阳能设备公司签订协议，收购后者价值超过20亿美元的托珀兹太阳能发电厂。
随着玻璃纤维工业的快速发展，玻璃熔窑废气处理产物增多，但处理物的进一步利用没有得到认识。本文通过理论分析，对处理物中氟的利用在技术上和经济上的可能性进行初步探讨。