An interpolation theorem in equational logic

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

An interpolation theorem in equational logic

Research output: Book/Report › Other report

Abstract

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 language	English
Place of Publication	Amsterdam
Number of pages	16
Publication status	Published - 1988

Access to Document

https://ir.cwi.nl/pub/5940Licence: All Rights Reserved

Cite this

@book{d19466a6d0814da5b0f86b9482f65a03,

title = "An interpolation theorem in equational logic",

abstract = "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. ",

author = "P.H. Rodenburg and \{van Glabbeek\}, R.J.",

year = "1988",

language = "English",

}

TY - BOOK

T1 - An interpolation theorem in equational logic

AU - Rodenburg, P.H.

AU - van Glabbeek, R.J.

PY - 1988

Y1 - 1988

N2 - 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.

AB - 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.

M3 - Other report

BT - An interpolation theorem in equational logic

CY - Amsterdam

ER -

An interpolation theorem in equational logic

Abstract

Access to Document

Fingerprint

Cite this