Admissibility of Cut in Coalgebraic Logics

Dirk Pattinson; Lutz Schröder

doi:10.1016/j.entcs.2008.05.027

Admissibility of Cut in Coalgebraic Logics

Dirk Pattinson^*
, Lutz Schröder

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

11 Citations (Scopus)

Abstract

We study sequent calculi for propositional modal logics, interpreted over coalgebras, with admissibility of cut being the main result. As applications we present a new proof of the (already known) interpolation property for coalition logic and establish the interpolation property for the conditional logics CK and CK_Id.

Original language	English
Pages (from-to)	221-241
Number of pages	21
Journal	Electronic Notes in Theoretical Computer Science
Volume	203
Issue number	5
DOIs	https://doi.org/10.1016/j.entcs.2008.05.027
Publication status	Published - 12 Jun 2008
Externally published	Yes

Access to Document

10.1016/j.entcs.2008.05.027

Cite this

@article{cb96b02660674ad3bc8e3c0f55ebb1fa,

title = "Admissibility of Cut in Coalgebraic Logics",

abstract = "We study sequent calculi for propositional modal logics, interpreted over coalgebras, with admissibility of cut being the main result. As applications we present a new proof of the (already known) interpolation property for coalition logic and establish the interpolation property for the conditional logics CK and CKId.",

keywords = "Coalgebraic Semantics, Cut Elimination, Modal Logic, Proof Theory",

author = "Dirk Pattinson and Lutz Schr{\"o}der",

year = "2008",

month = jun,

day = "12",

doi = "10.1016/j.entcs.2008.05.027",

language = "English",

volume = "203",

pages = "221--241",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "5",

}

TY - JOUR

T1 - Admissibility of Cut in Coalgebraic Logics

AU - Pattinson, Dirk

AU - Schröder, Lutz

PY - 2008/6/12

Y1 - 2008/6/12

N2 - We study sequent calculi for propositional modal logics, interpreted over coalgebras, with admissibility of cut being the main result. As applications we present a new proof of the (already known) interpolation property for coalition logic and establish the interpolation property for the conditional logics CK and CKId.

AB - We study sequent calculi for propositional modal logics, interpreted over coalgebras, with admissibility of cut being the main result. As applications we present a new proof of the (already known) interpolation property for coalition logic and establish the interpolation property for the conditional logics CK and CKId.

KW - Coalgebraic Semantics

KW - Cut Elimination

KW - Modal Logic

KW - Proof Theory

UR - https://www.scopus.com/pages/publications/44649084880

U2 - 10.1016/j.entcs.2008.05.027

DO - 10.1016/j.entcs.2008.05.027

M3 - Article

SN - 1571-0661

VL - 203

SP - 221

EP - 241

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 5

ER -

Admissibility of Cut in Coalgebraic Logics

Abstract

Access to Document

Other files and links

Fingerprint

Cite this