Skip navigation
Skip navigation

Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic

Lellmann, Bjorn; Pattinson, Dirk

Description

We consider a general format for sequent rules for not necessarily normal modal logics based on classical or intuitionistic propositional logic and provide relatively simple local conditions ensuring cut elimination for such rule sets. The rule format encompasses e.g. rules for the boolean connectives and transitive modal logics such as S4 or its constructive version. We also adapt the method of constructing suitable rule sets by saturation to the intuitionistic setting and provide a criterium...[Show more]

CollectionsANU Research Publications
Date published: 2013
Type: Book chapter
URI: http://hdl.handle.net/1885/65952
DOI: 10.1007/978-3-642-36039-8-14

Download

File Description SizeFormat Image
01_Lellmann_Constructing_Cut_Free_Sequent_2013.pdf259.71 kBAdobe PDF    Request a copy
02_Lellmann_Constructing_Cut_Free_Sequent_2013.pdf1.87 MBAdobe PDF    Request a copy


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

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator