An institution-independent proof of Craig interpolation theorem
From MaRDI portal
Publication:1876090
DOI10.1023/B:STUD.0000034185.62660.d6zbMath1048.03026MaRDI QIDQ1876090
Publication date: 16 August 2004
Published in: Studia Logica (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
03G30: Categorical logic, topoi
03C40: Interpolation, preservation, definability
Related Items
Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems, Remarks on classifications and adjunctions, An institution-independent proof of the Robinson consistency theorem, An institution-independent proof of the Beth definability theorem, A semantic approach to interpolation, Interpolation in Grothendieck institutions, Ultraproducts and possible worlds semantics in institutions, Abstract Beth definability in institutions
Uses Software