Interpolation in computing science: The semantics of modularization

DOI10.1007/s11229-008-9358-yzbMath1184.03017OpenAlexW2057205217MaRDI QIDQ1024120

Gerard R. Renardel de Lavalette

Publication date: 16 June 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9358-y

zbMATH Keywords

interpolationalgebraic theorymodularizationmodule algebrahidingtheory algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Interpolation, preservation, definability (03C40)

Related Items (2)

Craig interpolation for networks of sentences ⋮ Craig Interpolation for Linear Temporal Languages

Uses Software

• FOCI

Cites Work

• Unnamed Item
• Unnamed Item
• A simple algebraic proof of the equational interpolation theorem
• On a generalized modularization theorem
• An interpolating theorem prover
• On the Unusual Effectiveness of Logic in Computer Science
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Module algebra
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
• Logics in Artificial Intelligence
• Program development by stepwise refinement
• Lazy Abstraction with Interpolants
• Computer Aided Verification

This page was built for publication: Interpolation in computing science: The semantics of modularization