Sequentialising nested systems
Authors: Bjoern Lellmann, Elaine Pimentel and Revantha Ramanayake
Paper Information
Title: | Sequentialising nested systems |
Authors: | Bjoern Lellmann, Elaine Pimentel and Revantha Ramanayake |
Proceedings: | TYDI-0 Abstracts |
Editor: | Lutz Straßburger |
Keywords: | proof theory, sequent calculus, nested systems |
Abstract: | ABSTRACT. In this work, we investigate the proof theoretic connections between sequent and nested proof calculi. Specifically, we identify general conditions under which a nested calculus can be transformed into a sequent calculus by restructuring the nested sequent derivation (proof) and shedding extraneous information to obtain a derivation of the same formula in the sequent calculus. These results are formulated generally so that they apply to calculi for intuitionistic, normal and non-normal modal logics. |
Pages: | 2 |
Talk: | Jul 07 11:30 (Session 26Q: promotion) |
Paper: |