Interpolation in logics with constructors

DOI10.1016/j.tcs.2012.12.002zbMath1259.03092OpenAlexW2054448672MaRDI QIDQ1944775

Daniel Găină

Publication date: 27 March 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.12.002

zbMATH Keywords

interpolationalgebraic specificationHorn logicinstitutionconstructor-based

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Interpolation, preservation, definability (03C40)

Related Items (3)

Birkhoff style calculi for hybrid logics ⋮ Stability of termination and sufficient-completeness under pushouts via amalgamation ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

This page was built for publication: Interpolation in logics with constructors