2011 年出版187 页ISBN:9787303121694
本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的...
2012 年出版152 页ISBN:9787505896031
本书以含有因果关系的单句为研究对象,重点考察了6类句型各自的语义和句法特征以及它们之间的相互转换能力,并运用顺序象似原则、相邻原则、标记理论等对其进行了解释。...
2012 年出版427 页ISBN:9787030337542
目前欧盟指令中只是列明了铅、镉、汞、六价铬、多溴联笨(PBB)和多溴二苯醚(PBDE)的限用,但是很多的非官方控制清单上有害物质种类已远远超出了这6种。在此背景下,本书从有毒有害元素、化合物本身出发,详细阐述其特...
2001 年出版242 页ISBN:7543442051
本书收录了“女孩”、“世界是由不安分的人创造的”、“让我糊涂一回”、“生活向你提供信息”等20余篇文章。