Abstract derivations, equational logic and interpolation

Gerard R. Renardel de Lavalette

Abstract derivations, equational logic and interpolation

Gerard R. Renardel de Lavalette

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

90 Downloads (Pure)

Abstract

We define abstract derivations for equational logic and use them to prove the interpolation property.

Original language	English
Title of host publication	Structures and Deduction - the Quest for the Essence of Proofs
Subtitle of host publication	satellite workshop of ICALP 2005
Publisher	University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Number of pages	23
Publication status	Published - 2005

Access to Document

2005ProcICALPRenardeldeL.pdfFinal publisher's version, 220 KB

Handle.net

Persistent link

Cite this

@inbook{847797ab35654e31be428083a0847797,

title = "Abstract derivations, equational logic and interpolation",

abstract = "We define abstract derivations for equational logic and use them to prove the interpolation property.",

author = "{Renardel de Lavalette}, {Gerard R.}",

note = "Relation: http://www.rug.nl/informatica/organisatie/overorganisatie/iwi Rights: University of Groningen. Research Institute for Mathematics and Computing Science (IWI)",

year = "2005",

language = "English",

booktitle = "Structures and Deduction - the Quest for the Essence of Proofs",

publisher = "University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science",

}

Abstract derivations, equational logic and interpolation. / Renardel de Lavalette, Gerard R.
Structures and Deduction - the Quest for the Essence of Proofs: satellite workshop of ICALP 2005. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, 2005.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

TY - CHAP

T1 - Abstract derivations, equational logic and interpolation

AU - Renardel de Lavalette, Gerard R.

N1 - Relation: http://www.rug.nl/informatica/organisatie/overorganisatie/iwi Rights: University of Groningen. Research Institute for Mathematics and Computing Science (IWI)

PY - 2005

Y1 - 2005

N2 - We define abstract derivations for equational logic and use them to prove the interpolation property.

AB - We define abstract derivations for equational logic and use them to prove the interpolation property.

M3 - Chapter

BT - Structures and Deduction - the Quest for the Essence of Proofs

PB - University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science

ER -