A semantical view of sequent based systems
Author: Elaine Pimentel
Paper Information
| Title: | A semantical view of sequent based systems |
| Authors: | Elaine Pimentel |
| Proceedings: | WiL Short Papers and Abstracts |
| Editors: | Valeria de Paiva, Amy Felty and Ursula Martin |
| Keywords: | proof theory, sequent calculus, nested systems, labelled systems, internal and external calculi |
| Abstract: | ABSTRACT. In this work, we explore proof theoretical connections between sequent, nested and labelled calculi. In particular, we show a semantical characterisation of intuitionistic, normal and non-normal modal logics for all these systems, via a case-by-case translation between labelled nested to labelled sequent systems. |
| Pages: | 10 |
| Talk: | Jul 08 11:30 (Session 38R) |
| Paper: |  |