论文部分内容阅读
Blackburn等的ModalLogic是一部优秀的中高阶教材,但是该书中对Bull定理的证明存在着不少疏漏。本文对之进行了修正,同时给出关键步骤的简化证明。
Bull定理一个证明的注记
【摘 要】
：
Blackburn等的ModalLogic是一部优秀的中高阶教材,但是该书中对Bull定理的证明存在着不少疏漏。本文对之进行了修正,同时给出关键步骤的简化证明。
【机 构】
：
中国人民大学哲学院
【出 处】
：
逻辑学研究
【发表日期】
：
2011年4期
【基金项目】
：
国家社会科学基金项目“模态逻辑中的典范问题研究”（编号08CZX020）, 中国人民大学科学研究基金项目10XNL012,中国人民大学哲学院985工程三期建设项目的资助
其他文献
西安至宝鸡客运专线常兴渭河特大桥采用2 000 t下行式架桥机节段拼装48 m简支箱梁施工技术。文中介绍了箱梁节段预制、架桥机整跨拼装等施工工序,重点探讨了梁段精确定位、预
介绍了国际四大疏浚公司向海洋工程领域拓展现状,通过具体工程阐述了疏浚行业在海工领域的应用及其对施工工艺和设备的特殊要求。结合国内实际情况对疏浚行业向海洋工程延伸
通过从几个角度比较试验区灌注桩的静载试验结果，分析了灌注桩经后压浆处理承载力提高的幅度以及影响承载力的因素。分析了后压浆处理灌注桩承载机理。对试验桩的测试龄期及荷
<正>2015年10月22–23日,"首届中荷语用论辩学学术研讨会"(The First Sino-Dutch Conference on Pragma-Dialectics)在浙江大学召开。此次会议由浙江大学语言与认知研究中心(