Skip navigation
Skip navigation

Cut elimination in coalgebraic logics

Pattinson, Dirk; Schroder, Lutz


We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomatisation of a particular logic and its coalgebraic semantics that guarantee tha

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
Source: Information and Computation
DOI: 10.1016/j.ic.2009.11.008


File Description SizeFormat Image
01_Pattinson_Cut_elimination_in_coalgebraic_2010.pdf412.33 kBAdobe PDF    Request a copy

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

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator