Hypersequent Calculi for S5: The Methods of Cut Elimination

Logic and Logical Philosophy 24 (3):277–311 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Hypersequent calculi for intuitionistic logic with classical atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Admissibility of cut in congruent modal logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
Analytic combinatory calculi and the elimination of transitivity.Pierluigi Minari - 2004 - Archive for Mathematical Logic 43 (2):159-191.
Sufficient conditions for cut elimination with complexity analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.
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.
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Cut-free hypersequent calculus for s4. 3.Andrzej Indrzejczak - 2012 - Bulletin of the Section of Logic 41 (1/2):89-104.
Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.

Analytics

Added to PP
2015-08-27

Downloads
35 (#396,067)

6 months
5 (#247,092)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrzej Indrzejczak
University of Lodz

References found in this work

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press. Edited by Jan Von Plato.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.

View all 16 references / Add more references