Cut elimination in coalgebraic logics

Date

Authors

Pattinson, Dirk

Schroder, Lutz

Publisher

Academic Press

Abstract

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

Keywords

Keywords: Axiomatisation; Coalgebraic logic; Coalgebraic semantics; Coalgebras; Coherence conditions; Cut elimination; Interpolation properties; Modal logic; Modal rules; Sequent calculus; Syntactic properties; Differentiation (calculus); Syntactics; Interpolation

URI

http://hdl.handle.net/1885/84737

Collections

ANU Research Publications

Source

Information and Computation

Type

Journal article

DOI

10.1016/j.ic.2009.11.008

Restricted until

2037-12-31

Downloads

File

Description

01_Pattinson_Cut_elimination_in_coalgebraic_2010.pdf (412.33 KB)