A simple algebraic proof of the equational interpolation theorem

DOI10.1007/BF01190411MaRDI QIDQ1173754zbMATH OpenOpenAlexFDO

Authors P. H. Rodenburg

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

zbMATH Keywords

interpolationsignatureequational logicMany-sorted algebrassort

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Recommendations

• scientific article; zbMATH DE number 23769
• Equality and lyndon's interpolation theorem
• scientific article; zbMATH DE number 1302498
• scientific article; zbMATH DE number 3859200

Cites work

• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• The join of equational theories

Cited in

(17)

• Generalised graded interpolation
• The institution-theoretic scope of logic theorems
• An introduction to category-based equational logic
• Interpolation and compactness in categories of pre-institutions
• Equational axiomatizability for coalgebra
• Category-based modularisation for equational logic programming
• scientific article; zbMATH DE number 1543346 (Why is no real title available?)
• Three interpolation theorems for typeless logics
• An institution-independent proof of the Robinson consistency theorem
• Property-oriented semantics of structured specifications
• A semantic approach to interpolation
• Interpolation in computing science: The semantics of modularization
• Interpolation in Grothendieck institutions
• An axiomatic approach to structuring specifications
• Interpolation for predefined types
• Abstract Beth definability in institutions
• Craig interpolation for networks of sentences

This page was built for publication: A simple algebraic proof of the equational interpolation theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1173754)