Maximum Segments as Natural Deduction Images of Some Cuts

Logica Universalis 16 (3):499-533 (2022)
  Copy   BIBTEX

Abstract

A special kind of maximum cuts in sequent derivations, actual maximum cuts, is defined. It is shown that (1) each actual maximum cut of a sequent derivation makes maximum segments in its natural deduction image, and (2) each maximum segment of a natural deduction derivation makes an actual maximum cut in its sequent image.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-022-00309-5

Links

PhilArchive



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

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

Normal derivations and sequent derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
The subformula property of natural deduction derivations and analytic cuts.Mirjana Borisavljević - forthcoming - Logic Journal of the IGPL.
A sequent calculus isomorphic to gentzen’s natural deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.
Translations from natural deduction to sequent calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
Natural deduction with general elimination rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
Natural Deduction.Andrzej Indrzejczak - 2015
Type two cuts, bad cuts and very bad cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.
Type Two Cuts, Bad Cuts and Very Bad Cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.
An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2016 - Bulletin of the Section of Logic 45 (1).
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Natural Deduction Bottom Up.Ernst Zimmermann - 2021 - Journal of Logic, Language and Information 30 (3):601-631.
Can There be Random Individuals?Mr. Rescher on Random Individuals.The Rules of Natural Deduction.The Symbolising of Natural Deduction.Arbitrary Individuals and Natural Deduction.A Correction to Mackie's Natural Deduction.Nicholas Rescher, L. Goddard, J. L. Mackie, Robert Price & M. K. Rennie - 1957 - Journal of Symbolic Logic 35 (1):165-166.

Analytics

Added to PP
2022-08-24

Downloads
10 (#1,129,009)

6 months
6 (#431,022)

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.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.

View all 12 references / Add more references