论文部分内容阅读
传统条件句逻辑研究的条件句没有明显提述条件句的背景．本文提出了一种明显提述背景的条件句逻辑BCS，并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性．
一个适于更新语义的涉景条件句逻辑
【摘 要】
：
传统条件句逻辑研究的条件句没有明显提述条件句的背景．本文提出了一种明显提述背景的条件句逻辑BCS，并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性．
【机 构】
：
中山大学逻辑与认知研究所
【出 处】
：
暨南大学学报：自然科学与医学版
【发表日期】
：
2008年3期
【基金项目】
：
教育部重大研究项目（05JJD720.40001）
其他文献
以KMnO4、MnSO4与介孔炭（MC）为原料,通过简单的化学液相共沉淀法制备了MnO2/MC复合材料,借助X线衍射（XRD）、透射电镜（TEM）、能量色散谱（EDS）及N2吸附-脱附对产物进行了表征.电化学性
打动人的往往是细节,作文中只有把重点部分写详细写具体了,让读者如见其人,如临其境,才能给读者留下深刻印象,并产生共鸣,受到感染。因此,小学阶段教师要重视学生的生活实践,
考虑了带有区间时滞的线性系统的稳定性问题。基于时滞分割法和积分不等式法，得到了新的稳定性准则。最后，通过一个数值例子说明了该方法的有效性。
目的：探讨晚期宫颈癌患者新辅助化疗前后局部磁共振灌注成像（MR-PWI）的改变是否与实体瘤客观疗效标准（RECIST）标准判断一致。方法：对31例经病理确诊的宫颈癌患者依据RECIST标准判断
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的：探讨正常妊娠ABCBl基因多态性与母胎界面皮质醇转运的关系。方法：用PCR-RFLP方法检测正常妊娠262例脐血及142例母血ABCBl C3435T位点基因多态性，用化学发光法测定脐血及母
活塞作为汽车发动机中传递能量的一个非常重要的构件，对其材料具有特殊的要求。本文尝试采用复合材料方法制备活塞用铝基复合材料，研究了铝基复合材料的金相组织及力学性能。
目的:了解近年肺部感染的细菌种类及革兰阴性杆菌对抗生素的药敏情况,以期指导临床合理用药.方法:用法国生物墨里埃细菌诊断系统(ATB)对206例肺部感染患者的痰液作细菌培养及
随着时代的发展和教育理念的进步,枯燥古板的教育模式已经不再适应当今的社会,中小学生也更容易接受生动、活泼的教学模式.因此,本文就以小学语文课堂为例,浅析让课堂教学“
分析了箱体零件产品图,包括箱体零件的精度、表面粗糙度和结构;进行了压铸工艺设计,包括压铸压力、温度和时间工艺参数;进行了模具结构三维设计,包括分型面选择、型腔数目计