Maximum segments as natural deduction images of some cuts
type: Item
instance of: scholarly article
title: Maximum segments as natural deduction images of some cuts
author: Mirjana Borisavljević
published in: Logica Universalis
publication date: 2022-10-18T00:00:00Z
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7603238
zbMATH Keywords: natural deduction
zbMATH Keywords: sequent systems
zbMATH Keywords: normalization
zbMATH Keywords: cuts
Wikidata QID: Q114221729
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s11787-022-00309-5
OpenAlex ID: W4292767243
cites work: A connection between cut elimination and normalization
cites work: Normal derivations and sequent derivations
cites work: Normalization as a consequence of cut elimination
cites work: AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
cites work: The subformula property of natural deduction derivations and analytic cuts
cites work: The undecidability of \(k\)-provability
cites work: Cut Elimination, Substitution and Normalisation
cites work: Q5610986
cites work: Q4397029
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Sequent calculus in natural deduction style
cites work: Translations from natural deduction to sequent calculus
cites work: Normalization as a homomorphic image of cut-elimination
cites work: Q5559220
cites work: Q4716271
cites work: Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation
cites work: Gentzen's Proof of Normalization for Natural Deduction
cites work: A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION
cites work: The correspondence between cut-elimination and normalization
DOI: 10.1007/S11787-022-00309-5
description: scientific article; zbMATH DE number 7603238