Generalized interpolation in first order logic

MaRDI QIDQ5472873zbMATH OpenFDO

Authors Tomasz Borzyszkowski

Publication date 19 June 2006

zbMATH Keywords

algebraic specificationsCraig interpolation propertyinstitutionmany-sorted first-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Abstract data types; algebraic specification (68Q65)

Recommendations

• Generalized interpolation in CASL
• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation in extensions of first-order logic
• A semantic approach to interpolation
• Borrowing interpolation

Cited in

(12)

• A semantic approach to interpolation
• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation in Grothendieck institutions
• Interpolation in extensions of first-order logic
• The institution-theoretic scope of logic theorems
• scientific article; zbMATH DE number 3877158 (Why is no real title available?)
• scientific article; zbMATH DE number 3910377 (Why is no real title available?)
• An axiomatic approach to structuring specifications
• The foundational legacy of ASL
• scientific article; zbMATH DE number 3271481 (Why is no real title available?)
• On the fragility of interpolation
• Generalized interpolation in CASL

This page was built for publication: Generalized interpolation in first order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5472873)