论文信息 - A New, Simpler Proof of the Modularisation Theorem for Logical Specifications

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.

PAULO A. S. VELOSO | P. Veloso

[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 .