Algebraic proof theory: Hypersequents and hypercompletions

, &
Annals of Pure and Applied Logic 168 (3):693-737 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.10.012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Algebraic proof theory for substructural logics: cut-elimination and completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
Two types of multiple-conclusion systems.A. Avron - 1998 - Logic Journal of the IGPL 6 (5):695-718.
Algebraic aspects of cut elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
Logic in Algebraic Form: Three Languages and Theories.Stephen D. Comer - 1974 - New York, NY, USA: American Elsevier.
Provability algebras and proof-theoretic ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
Craig Interpolation via Hypersequents.Roman Kuznets - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 193-214.
Is algebraic lorentz-covariant quantum field theory stochastic Einstein local?F. A. Muller & Jeremy Butterfield - 1994 - Philosophy of Science 61 (3):457-474.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1149-1174.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Towards a Semantic Characterization of Cut-Elimination.Kazushige Terui - 2006 - Studia Logica 82 (1):95-119.
Giles’s Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27 - 61.
On the algebraic structure of linear, relevance, and fuzzy logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.

Analytics

Added to PP
2016-10-20

Downloads
30 (#519,519)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 7 citations / Add more citations

References found in this work

Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
A constructive analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.

View all 14 references / Add more references