Axioms and models of linear logic

Girard's recent system of linear logic is presented in a way that avoids the two-level structure of formulae and sequents, and that minimises the number of primitive function symbols. A deduction theorem is proved concerning the classical implication as embedded in linear logic. The Hilbert-style axiomatisation is proved to be equivalent to the sequent formalism. The axiomatisation leads to a complete class of algebraic models. Various models are exhibited. On the meta-level we use Dijkstra's method of explicit equational proofs.     

不用离心力模拟重力的外载与自重共同作用下的试验原理及其应用

大型工程结构在强度设计时，考虑工作应力的同时还要计及自重应力，针对外载与自重共同作用下，现在的用离心力场模拟重力场获得自重应力的试验投资耗费大，技术复杂且难度大和不安全等缺点，本文按照结构相似的模型理论，导出这个问题具体的相似律和试验原理及方法，进行了典型实验验证，指出仅用一个模型试验，即不用离心力场模拟重力场的试验，就可以获得上述两种载荷共同作用下的应力分析结果，根据大型复杂空间工程结构模型自重影响不可忽视的特点，还用本文方法进行了桥梁工程结构的三维光弹性应力分析，并与有限元计算作了比较，二者符合良好。