Structural Extensions of Display Calculi: A General Recipe

A. Ciabattoni, R. Ramanayake

OnderzoeksoutputAcademicpeer review

10 Citaten (Scopus)

Samenvatting

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.

Originele taal-2English
TitelLogic, Language, Information, and Computation
RedacteurenLeonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz
UitgeverijSpringer
Pagina's81-95
Aantal pagina's15
ISBN van elektronische versie978-3-642-39992-3
ISBN van geprinte versie978-3-642-39991-6
DOI's
StatusPublished - 2013
Extern gepubliceerdJa
Evenement20th International Workshop, WoLLIC 2013 - Darmstadt, Germany
Duur: 20-aug-201323-aug-2013

Publicatie series

NaamLecture Notes in Computer Science (LNCS)
UitgeverijSpringer
Volume8071

Conference

Conference20th International Workshop, WoLLIC 2013
Land/RegioGermany
StadDarmstadt
Periode20/08/201323/08/2013

Citeer dit