Structural Extensions of Display Calculi: A General Recipe

A. Ciabattoni; R. Ramanayake

doi:10.1007/978-3-642-39992-3-10

Structural Extensions of Display Calculi: A General Recipe

A. Ciabattoni, R. Ramanayake

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

11 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 language	English
Title of host publication	Logic, Language, Information, and Computation
Editors	Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz
Publisher	Springer
Pages	81-95
Number of pages	15
ISBN (Electronic)	978-3-642-39992-3
ISBN (Print)	978-3-642-39991-6
DOIs	https://doi.org/10.1007/978-3-642-39992-3-10
Publication status	Published - 2013
Externally published	Yes
Event	20th International Workshop, WoLLIC 2013 - Darmstadt, Germany Duration: 20-Aug-2013 → 23-Aug-2013

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Publisher	Springer
Volume	8071

Conference

Conference	20th International Workshop, WoLLIC 2013
Country/Territory	Germany
City	Darmstadt
Period	20/08/2013 → 23/08/2013

Access to Document

10.1007/978-3-642-39992-3-10

Handle.net

Persistent link

Cite this

@inproceedings{56593543e6894559b891ef73c3bdefbf,

title = "Structural Extensions of Display Calculi: A General Recipe",

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.",

author = "A. Ciabattoni and R. Ramanayake",

year = "2013",

doi = "10.1007/978-3-642-39992-3-10",

language = "English",

isbn = "978-3-642-39991-6",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "81--95",

editor = "Libkin, {Leonid } and Kohlenbach, {Ulrich } and {de Queiroz}, {Ruy }",

booktitle = "Logic, Language, Information, and Computation",

note = "20th International Workshop, WoLLIC 2013 ; Conference date: 20-08-2013 Through 23-08-2013",

}

Ciabattoni, A & Ramanayake, R 2013, Structural Extensions of Display Calculi: A General Recipe. in L Libkin, U Kohlenbach & R de Queiroz (eds), Logic, Language, Information, and Computation. Lecture Notes in Computer Science (LNCS), vol. 8071, Springer, pp. 81-95, 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, 20/08/2013. https://doi.org/10.1007/978-3-642-39992-3-10

Structural Extensions of Display Calculi: A General Recipe. / Ciabattoni, A.; Ramanayake, R.
Logic, Language, Information, and Computation. ed. / Leonid Libkin; Ulrich Kohlenbach; Ruy de Queiroz. Springer, 2013. p. 81-95 (Lecture Notes in Computer Science (LNCS); Vol. 8071).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Structural Extensions of Display Calculi

T2 - 20th International Workshop, WoLLIC 2013

AU - Ciabattoni, A.

AU - Ramanayake, R.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84884992667&partnerID=MN8TOARS

U2 - 10.1007/978-3-642-39992-3-10

DO - 10.1007/978-3-642-39992-3-10

M3 - Conference contribution

SN - 978-3-642-39991-6

T3 - Lecture Notes in Computer Science (LNCS)

SP - 81

EP - 95

BT - Logic, Language, Information, and Computation

A2 - Libkin, Leonid

A2 - Kohlenbach, Ulrich

A2 - de Queiroz, Ruy

PB - Springer

Y2 - 20 August 2013 through 23 August 2013

ER -

Structural Extensions of Display Calculi: A General Recipe

Abstract

Publication series

Conference

Access to Document

Handle.net

Other files and links

Embargoed Document

Cite this