Borrowing interpolation

DOI10.1093/LOGCOM/EXR007MaRDI QIDQ2893323zbMATH OpenOpenAlexFDO

Authors 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

comorphismsinstitution theoryinterpolation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3876457
• Interpolation†
• scientific article; zbMATH DE number 5270106
• Interpolation
• Interpolation
• Interpolation in the bidisk
• scientific article; zbMATH DE number 3283003
• Interpolation via translations
• scientific article; zbMATH DE number 5544143
• scientific article; zbMATH DE number 2203428

Cited in

(15)

• May I borrow your logic? (Transporting logical structures along maps)
• Birkhoff style calculi for hybrid logics
• An institution-independent proof of Craig interpolation theorem
• Interpolation in Grothendieck institutions
• Interpolation in logics with constructors
• Generalised graded interpolation
• The institution-theoretic scope of logic theorems
• Comorphisms of structured institutions
• Downward Löwenheim-Skolem theorem and interpolation in logics with constructors
• Interpolation for predefined types
• Interpolation and compactness in categories of pre-institutions
• Generalized interpolation in first order logic
• Encoding hybridized institutions into first-order logic
• The Craig interpolation property in first-order Gödel logic
• On the fragility of interpolation

Describes a project that uses

Uses Software

• CafeOBJ
• CASL

This page was built for publication: Borrowing interpolation

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