Structural Extensions of Display Calculi: A General Recipe

A. Ciabattoni, R. Ramanayake

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)

Abstract

We present a systematic procedure for constructing cut-free display calculi for axiomatic extensions of a logic via structural rule extensions. The sufficient conditions for the procedure are given in terms of (purely syntactic) abstract properties of the display calculus and thus the method applies to large classes of calculi and logics. As a case study, we present cut-free calculi for extensions of well-known logics including Bi-intuitionistic and tense logic.

Original languageEnglish
Title of host publicationLogic, Language, Information, and Computation
EditorsLeonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz
PublisherSpringer
Pages81-95
Number of pages15
ISBN (Electronic)978-3-642-39992-3
ISBN (Print)978-3-642-39991-6
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event20th International Workshop, WoLLIC 2013 - Darmstadt, Germany
Duration: 20-Aug-201323-Aug-2013

Publication series

NameLecture Notes in Computer Science (LNCS)
PublisherSpringer
Volume8071

Conference

Conference20th International Workshop, WoLLIC 2013
Country/TerritoryGermany
CityDarmstadt
Period20/08/201323/08/2013

Cite this