The Elimination of Maximum Cuts in Linear Logic and BCK Logic

Studia Logica 111 (3):391-429 (2023)
  Copy   BIBTEX

Abstract

In the sequent systems for exponential-free linear logic and BCK logic a procedure of elimination of maximum cuts, cuts which correspond to maximum segments from natural deduction derivations, will be presented.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-022-10023-4

Links

PhilArchive



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

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

Gentzen Calculi for the Existence Predicate.Matthias Baaz & Rosalie Iemhoff - 2006 - Studia Logica 82 (1):7-23.
Prolegomena of a logic of causality and dynamism.P. Bellot, J.-P. Cottin, B. Robinet, D. Sarni, J. Leneutre & E. Zarpas - 1999 - Studia Logica 62 (1):77-105.
Cut Elimination for S4C: A Case Study.Grigori Mints - 2006 - Studia Logica 82 (1):121-132.
Lambda calculus and intuitionistic linear logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
Prolegomena of a Logic of Causality and Dynamism.Patrick Bellot, Jean-Pierre Cottin, Bernard Robinet, Djamil Sarni, J. Leneutre & Emmanuel Zarpas - 1999 - Studia Logica 62 (1):77-105.
Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.
Cut‐Elimination Theorem for the Logic of Constant Domains.Ryo Kashima & Tatsuya Shimura - 1994 - Mathematical Logic Quarterly 40 (2):153-172.
Sequent systems for compact bilinear logic.Wojciech Buszkowski - 2003 - Mathematical Logic Quarterly 49 (5):467.
Game logic and its applications II.Mamoru Kaneko & Takashi Nagashima - 1997 - Studia Logica 58 (2):273-303.
Quantized linear logic, involutive quantales and strong negation.Norihiro Kamide - 2004 - Studia Logica 77 (3):355-384.
Towards a Semantic Characterization of Cut-Elimination.Agata Ciabattoni & Kazushige Terui - 2006 - Studia Logica 82 (1):95-119.
Linear lambda-terms and natural deduction.G. Mints - 1998 - Studia Logica 60 (1):209-231.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
Book Reviews. [REVIEW]Jacek Paśniczek - 2000 - Studia Logica 65 (3):429-446.
SN and {CR} for free-style {${bf LK}sp {tq}$}: linear decorations and simulation of normalization.Jean-Baptiste Joinet, Harold Schellinx & Lorenzo Tortora de Falco - 2002 - Journal of Symbolic Logic 67 (1):162-196.

Analytics

Added to PP
2022-12-21

Downloads
10 (#1,201,046)

6 months
4 (#799,256)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mirjana Borisavljević
University of Belgrade

Citations of this work

No citations found.

Add more citations

References found in this work

Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
Gentzen's proof of normalization for natural deduction.Jan von Plato - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.
Gentzen's proof of normalization for natural deduction.Jan Platvono - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.
The undecidability of k-provability.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 53 (1):75-102.
A proof of Gentzen's Hauptsatz without multicut.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (1):9-18.

View all 18 references / Add more references