A simple algebraic proof of the equational interpolation theorem
From MaRDI portal
Publication:1173754
DOI10.1007/BF01190411zbMath0756.08005OpenAlexW2059353311MaRDI QIDQ1173754
Publication date: 25 June 1992
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01190411
Related Items
Interpolation in Grothendieck institutions, Category-based modularisation for equational logic programming, An institution-independent proof of the Robinson consistency theorem, An introduction to category-based equational logic, Interpolation for predefined types, An axiomatic approach to structuring specifications, Craig interpolation for networks of sentences, The institution-theoretic scope of logic theorems, Property-oriented semantics of structured specifications, Equational axiomatizability for coalgebra, A semantic approach to interpolation, Interpolation and compactness in categories of pre-institutions, Interpolation in computing science: The semantics of modularization, Abstract Beth definability in institutions, Generalised graded interpolation
Cites Work
