An interpolation theorem in equational logic

P.H. Rodenburg, R.J. van Glabbeek

Research output: Book/ReportOther report


In a natural formulation, Craig's interpolation theorem is shown to hold for quational logic. We also discuss the prevalent claims that equational logic does not have the interpolation property.
Original languageEnglish
Place of PublicationAmsterdam
Number of pages16
Publication statusPublished - 1988


Dive into the research topics of 'An interpolation theorem in equational logic'. Together they form a unique fingerprint.

Cite this