A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
Paulo A. S. Veloso · Logic Journal of IGPL · 1993
A new, simpler proof, based on internalisation of interpretations, of the Modularisation Theorem for logical specifications (presentations of first-order theories) is presented. This result is a basic tool for composing implementations and specialisation by parameter instantiation.