An institution-independent proof of Craig interpolation theorem
From MaRDI portal
Publication:1876090
DOI10.1023/B:STUD.0000034185.62660.d6zbMath1048.03026OpenAlexW2005494456MaRDI QIDQ1876090
Publication date: 16 August 2004
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:stud.0000034185.62660.d6
Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Interpolation, preservation, definability (03C40)
Related Items
Interpolation in Grothendieck institutions ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Remarks on classifications and adjunctions ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Interpolation for predefined types ⋮ An axiomatic approach to structuring specifications ⋮ The institution-theoretic scope of logic theorems ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ On the algebra of structured specifications ⋮ Towards a functional approach to modular ontologies using institutions ⋮ Saturated models in institutions ⋮ An institution-independent proof of the Beth definability theorem ⋮ A semantic approach to interpolation ⋮ Abstract Beth definability in institutions ⋮ Generalised graded interpolation ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
Uses Software
