Borrowing interpolation

DOI10.1093/logcom/exr007zbMath1252.03147OpenAlexW2913312747MaRDI QIDQ2893323

Răzvan Diaconescu

Publication date: 20 June 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exr007

zbMATH Keywords

interpolationcomorphismsinstitution theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Interpolation, preservation, definability (03C40)

Related Items

Birkhoff style calculi for hybrid logics ⋮ Comorphisms of structured institutions ⋮ The institution-theoretic scope of logic theorems ⋮ Encoding hybridized institutions into first-order logic ⋮ Generalised graded interpolation

Uses Software

• CASL
• CafeOBJ