A simple algebraic proof of the equational interpolation theorem
- 1 March 1991
- journal article
- research article
- Published by Springer Nature in Algebra universalis
- Vol. 28 (1) , 48-51
- https://doi.org/10.1007/bf01190411
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Universal AlgebraPublished by Springer Nature ,1979
- The join of equational theoriesColloquium Mathematicum, 1974
- Linear reasoning. A new form of the Herbrand-Gentzen theoremThe Journal of Symbolic Logic, 1957