Interpolation in Grothendieck institutions

DOI10.1016/J.TCS.2003.10.030zbMath1068.68083OpenAlexW2055094587MaRDI QIDQ1884940

Răzvan Diaconescu

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2003.10.030

zbMATH Keywords

Craig interpolationGrothendieck institutionsAlgebraic specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Interpolation, preservation, definability (03C40)

Related Items (10)

An institution-independent proof of the Robinson consistency theorem ⋮ Interpolation for predefined types ⋮ An axiomatic approach to structuring specifications ⋮ CafeOBJ Traces ⋮ The institution-theoretic scope of logic theorems ⋮ Towards a functional approach to modular ontologies using institutions ⋮ An institution-independent proof of the Beth definability theorem ⋮ A semantic approach to interpolation ⋮ Abstract Beth definability in institutions ⋮ Generalised graded interpolation

Uses Software

• CASL
• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Grothendieck institutions
• Institution morphisms
• Generalized interpolation in CASL
• On the existence of free models in abstract algebraic institutions
• Specifications in an arbitrary institution
• A simple algebraic proof of the equational interpolation theorem
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Model theory.
• Conditional rewriting logic as a unified model of concurrency
• Indexed categories and their applications
• Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
• On a generalized modularization theorem
• Logical foundations of CafeOBJ
• CASL: the Common Algebraic Specification Language.
• Logical systems for structured specifications.
• An institution-independent proof of Craig interpolation theorem
• Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Module algebra
• Institutions: abstract model theory for specification and programming
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Interpolation in Grothendieck institutions