Interpolation in Grothendieck institutions
From MaRDI portal
Publication:1884940
DOI10.1016/j.tcs.2003.10.030zbMath1068.68083OpenAlexW2055094587MaRDI QIDQ1884940
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
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
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
