Skip navigation
Skip navigation

Admissibility of Cut in Coalgebraic Logics

Pattinson, Dirk; Schroder, Lutz

Description

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.

dc.contributor.authorPattinson, Dirk
dc.contributor.authorSchroder, Lutz
dc.date.accessioned2015-12-13T22:54:06Z
dc.identifier.issn1571-0661
dc.identifier.urihttp://hdl.handle.net/1885/82088
dc.description.abstractWe 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.
dc.publisherElsevier
dc.sourceElectronic Notes in Theoretical Computer Science
dc.subjectKeywords: Biomineralization; Differentiation (calculus); Interpolation; Numerical analysis; Co-algebras; Coalgebraic logics; interpolation properties; Modal logics; Sequent calculus; Fuzzy logic Coalgebraic Semantics; Cut Elimination; Modal Logic; Proof Theory
dc.titleAdmissibility of Cut in Coalgebraic Logics
dc.typeJournal article
local.description.notesImported from ARIES
local.identifier.citationvolume203
dc.date.issued2008
local.identifier.absfor080200 - COMPUTATION THEORY AND MATHEMATICS
local.identifier.ariespublicationf5625xPUB10383
local.type.statusPublished Version
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANU
local.contributor.affiliationSchroder, Lutz, Universitat Bremen
local.description.embargo2037-12-31
local.bibliographicCitation.issue5
local.bibliographicCitation.startpage221
local.bibliographicCitation.lastpage241
local.identifier.doi10.1016/j.entcs.2008.05.027
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated2015-12-11T11:01:40Z
local.identifier.scopusID2-s2.0-44649084880
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Pattinson_Admissibility_of_Cut_in_2008.pdf272.55 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator