A semantic approach to interpolation
From MaRDI portal
Publication:1006639
DOI10.1016/j.tcs.2008.09.038zbMath1159.03023OpenAlexW2116780139MaRDI QIDQ1006639
Grigore Roşu, Andrei Popescu, Traian-Florin Şerbănuţă
Publication date: 25 March 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://eprints.mdx.ac.uk/15380/1/TCS2009.pdf
institutionsalgebraic specificationsCraig interpolationBirkhoff-style axiomatizabilityCraig-Robinson interpolationfirst-order sub-logics
Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)
Related Items (2)
Uses Software
Cites Work
- Grothendieck institutions
- Generalized interpolation in CASL
- An institution-independent proof of the Robinson consistency theorem
- Specifications in an arbitrary institution
- Complexity, convexity and combinations of theories
- A simple algebraic proof of the equational interpolation theorem
- Model theory
- On a generalized modularization theorem
- Logical foundations of CafeOBJ
- Logical systems for structured specifications.
- An institution-independent proof of Craig interpolation theorem
- Interpolation in Grothendieck institutions
- Institution-independent model theory
- Interpolation in practical formal development
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Module algebra
- Simplification by Cooperating Decision Procedures
- Institutions: abstract model theory for specification and programming
- Composing Hidden Information Modules over Inclusive Institutions
- Foundations of Software Science and Computation Structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A semantic approach to interpolation
