A simple algebraic proof of the equational interpolation theorem

DOI10.1007/BF01190411zbMATH Open0756.08005OpenAlexW2059353311MaRDI QIDQ1173754FDOQ1173754

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

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

zbMATH Keywords

interpolationsignatureequational logicMany-sorted algebrassort

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

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
• Title not available (Why is that?)
• Category-based modularisation for equational logic programming
• 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)