论文信息 - A simple algebraic proof of the equational interpolation theorem - 字舞流文

A simple algebraic proof of the equational interpolation theorem

An algebraic proof is given of a natural version of Craig's interpolation lemma for equational logic.

P. Rodenburg | P. H. Rodenburg

[1] Jan A. Bergstra,et al. Module algebra , 1990, JACM.

[2] George Gratzer,et al. Universal Algebra , 1979 .

[3] William Craig,et al. Linear reasoning. A new form of the Herbrand-Gentzen theorem , 1957, Journal of Symbolic Logic.

[4] D. Pigozzi. The join of equational theories , 1974 .

[5] José Meseguer,et al. Initiality, induction, and computability , 1986 .

[6] R. J. vanGlabbeek,et al. An interpolation theorem in equational logic , 1988 .