A Cut-Elimination Proof in Positive Relevant Logic with Necessity

Studia Logica 109 (3):607-638 (2020)
  Copy   BIBTEX

Abstract

This paper presents a sequent calculus for the positive relevant logic with necessity and a proof that it admits the elimination of cut.

Categories

Keywords

Reprint years

2021

DOI

10.1007/s11225-020-09920-3

Links

PhilArchive



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

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

A cut-elimination proof in intuitionistic predicate logic.Mirjana Borisavljević - 1999 - Annals of Pure and Applied Logic 99 (1-3):105-136.
Effective Cut-elimination for a Fragment of Modal mu-calculus.Grigori Mints - 2012 - Studia Logica 100 (1-2):279-287.
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.
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.Michael Gabbay - 2011 - Journal of Symbolic Logic 76 (2):673 - 699.
Cut Might Cautiously.Jaap van der Does - 1995 - Logic Journal of the IGPL 3 (2-3):191-202.
Cut-elimination for Weak Grzegorczyk Logic Go.Rajeev Goré & Revantha Ramanayake - 2014 - Studia Logica 102 (1):1-27.
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
Canonical proof nets for classical logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
l -Groups C in continuous logic.Philip Scowcroft - 2018 - Archive for Mathematical Logic 57 (3-4):239-272.
Simple cut elimination proof for hybrid logic.Andrezj Indrzejczak - 2016 - Logic and Logical Philosophy 25 (2):129-141.
Admissibility of cut in congruent modal logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Proof Terms for Classical Derivations.Restall Greg - manuscript

Analytics

Added to PP
2020-11-17

Downloads
20 (#720,454)

6 months
11 (#191,387)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.

Add more citations

References found in this work

Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.

View all 16 references / Add more references