Abstract derivations, equational logic and interpolation

Gerard R. Renardel de Lavalette

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

66 Downloads (Pure)

Abstract

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