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

Simple item page
dc.contributor.authorLellmann, Bjorn
dc.contributor.authorPattinson, Dirk
dc.date.accessioned2015-12-10T23:19:33Z
dc.date.issued2013
dc.date.updated2016-02-24T10:58:00Z
dc.description.abstractWe 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 for translating axioms for intuitionistic modal logics into sequent rules. Examples include constructive modal logics and conditional logic.
dc.identifier.isbn9783642360381
dc.identifier.urihttp://hdl.handle.net/1885/65952
dc.publisherSpringer-Verlag Berlin Heidelberg
dc.relation.ispartofLecture Notes in Computer Science - Logic and its applications : 5th Indian Conference, ICLA 2013
dc.relation.isversionof1st Edition
dc.subjectKeywords: Boolean connectives; Constructive modal logic; Cut elimination; Intuitionistic logic; Local conditions; Modal logic; Propositional logic; Rule formats; Rule set; Artificial intelligence; Formal logic
dc.titleConstructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
dc.typeBook chapter
local.bibliographicCitation.lastpage160
local.bibliographicCitation.placeofpublicationHeidelberg
local.bibliographicCitation.startpage148
local.contributor.affiliationLellmann, Bjorn, Imperial College London
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANU
local.contributor.authoremailu4762643@anu.edu.au
local.contributor.authoruidPattinson, Dirk, u4762643
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080401 - Coding and Information Theory
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationu4334215xPUB1190
local.identifier.doi10.1007/978-3-642-36039-8-14
local.identifier.scopusID2-s2.0-84872789781
local.identifier.uidSubmittedByu4334215
local.type.statusPublished Version

Downloads

Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
01_Lellmann_Constructing_Cut_Free_Sequent_2013.pdf
Size:
259.71 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
02_Lellmann_Constructing_Cut_Free_Sequent_2013.pdf
Size:
1.83 MB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS