Grafting hypersequents onto nested sequents

&
Logic Journal of the IGPL 24 (3):375-423 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzw005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Two types of multiple-conclusion systems.A. Avron - 1998 - Logic Journal of the IGPL 6 (5):695-718.
Modal interpolation via nested sequents.Melvin Fitting & Roman Kuznets - 2015 - Annals of Pure and Applied Logic 166 (3):274-305.
Realization for justification logics via nested sequents: Modularity through embedding.Remo Goetschi & Roman Kuznets - 2012 - Annals of Pure and Applied Logic 163 (9):1271-1298.
A Formal Framework for Hypersequent Calculi and Their Fibring.Marcelo E. Coniglio & Martín Figallo - 2014 - In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I. New York: Springer. pp. 73-93.
Translation of hypersequents into display sequents.H. Wansing - 1998 - Logic Journal of the IGPL 6 (5):719-734.
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Nested Sequents for Intuitionistic Logics.Melvin Fitting - 2014 - Notre Dame Journal of Formal Logic 55 (1):41-61.
Nested sequents for provability logic GLP: FIG. 1.Daniyar Shamkanov - 2015 - Logic Journal of the IGPL 23 (5):789-815.
Nested art.Paisley Nathan Livingston - 2003 - Journal of Aesthetics and Art Criticism 61 (3):233–246.
Higher-order sequent-system for intuitionistic modal logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Nested PLS.Toshiyasu Arai - 2011 - Archive for Mathematical Logic 50 (3-4):395-409.
Acceptance, inference, and the multiple-conclusion sequent.Tor Sandqvist - 2012 - Synthese 187 (3):913-924.
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic.Romas Alonderis - 2007 - Logic Journal of the IGPL 15 (1):1-19.
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.

Analytics

Added to PP
2016-06-30

Downloads
22 (#725,460)

6 months
6 (#572,748)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
Compositional Meaning in Logic.Carlos Caleiro & Luca Viganò - 2017 - Logica Universalis 11 (3):283-295.

Add more citations

References found in this work

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1977 - In Wilfrid Hodges (ed.), Logic. New York: Penguin Books. pp. 1-32.
Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.
Proofnets for S5: sequents and circuits for modal logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151-172.

View all 11 references / Add more references