A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
暂无分享,去创建一个
A new, simpler proof, based on intenialisation of ir**»f»'**"T*«, of the Modularisation Them em for logical specifications (presentations of first-order theories) is presented. This result is a basic tool for composing implementation* and specialisation by parameter instantiation.
[1] R. Goldblatt. Topoi, the Categorial Analysis of Logic , 1979 .
[2] Umversttat Dortmund. On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982 .
[3] Recent Trends in Data Type Specification , 1994, Lecture Notes in Computer Science.
[4] Hartmut Ehrig,et al. Equations and initial semantics , 1985 .
[5] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .