Generalized interpolation in CASL

DOI10.1016/S0020-0190(00)00120-4zbMath1099.68663OpenAlexW1522400614MaRDI QIDQ851912

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

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

Related Items (10)

Interpolation in Grothendieck institutions ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Institutions for SQL database schemas and datasets ⋮ Interpolation for predefined types ⋮ An axiomatic approach to structuring specifications ⋮ Amalgamation in the semantics of CASL ⋮ An institution-independent proof of the Beth definability theorem ⋮ A semantic approach to interpolation ⋮ On local modularity and interpolation in entailment systems. ⋮ Generalised graded interpolation

Uses Software

• CoFI
• CASL

Cites Work

• Specifications in an arbitrary institution
• An extended joint consistency theorem for free logic with equality
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Model theory
• On a generalized modularization theorem
• On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized interpolation in CASL