Generalized interpolation in CASL

DOI10.1016/S0020-0190(00)00120-4MaRDI QIDQ851912zbMATH OpenOpenAlexFDO

Authors Tomasz Borzyszkowski

Publication date 23 November 2006

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(00)00120-4

Mathematics Subject Classification ID

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

Recommendations

• Generalized interpolation in first order logic
• scientific article; zbMATH DE number 1617295
• A semantic approach to interpolation
• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation in Grothendieck institutions

Cites work

• An extended joint consistency theorem for free logic with equality
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 1189280 (Why is no real title available?)
• scientific article; zbMATH DE number 3609636 (Why is no real title available?)
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• scientific article; zbMATH DE number 1860658 (Why is no real title available?)
• scientific article; zbMATH DE number 872094 (Why is no real title available?)
• scientific article; zbMATH DE number 3249766 (Why is no real title available?)
• scientific article; zbMATH DE number 3370308 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Model theory
• On a generalized modularization theorem
• On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
• Specifications in an arbitrary institution
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(14)

• A semantic approach to interpolation
• Amalgamation in the semantics of CASL
• On local modularity and interpolation in entailment systems.
• Interpolation in Grothendieck institutions
• Generalised graded interpolation
• Institutions for SQL database schemas and datasets
• scientific article; zbMATH DE number 1617295 (Why is no real title available?)
• Interpolation for predefined types
• scientific article; zbMATH DE number 3877158 (Why is no real title available?)
• An axiomatic approach to structuring specifications
• Generalized interpolation in first order logic
• Forcing, transition algebras, and calculi
• An institution-independent proof of the Robinson consistency theorem
• An institution-independent proof of the Beth definability theorem

Describes a project that uses

Uses Software

• CASL
• CoFI

This page was built for publication: Generalized interpolation in CASL

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