Abstract derivations, equational logic and interpolation

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

90 Downloads (Pure)


We define abstract derivations for equational logic and use them to prove the interpolation property.
Original languageEnglish
Title of host publicationStructures and Deduction - the Quest for the Essence of Proofs
Subtitle of host publicationsatellite workshop of ICALP 2005
PublisherUniversity of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Number of pages23
Publication statusPublished - 2005

Cite this