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

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