A New, Simpler Proof of the Modularisation Theorem for Logical Specifications

DOI10.1093/jigpal/1.1.3zbMath0798.03032OpenAlexW2016701481MaRDI QIDQ4291868

Paulo A. S. Veloso

Publication date: 3 November 1994

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/1.1.3

zbMATH Keywords

interpolationimplementationsspecialisationmodularisation theorem for logical specificationsparameter instantiationpresentations of first-order theories

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items

On pushout consistency, modularity and interpolation for logical specifications, Interpolation in computing science: The semantics of modularization, On local modularity and interpolation in entailment systems., On local modularity variants and \(\Pi\)-institutions