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. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ciabattoni, A., & Ramanayake, R. (2013). Structural extensions of display calculi: A general recipe. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8071 LNCS, pp. 81–95). Springer Verlag. https://doi.org/10.1007/978-3-642-39992-3_10
Mendeley helps you to discover research relevant for your work.