AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ

DOI10.1017/S1755020318000102zbMath1506.03119OpenAlexW2806412435MaRDI QIDQ4577998

Mirjana Borisavljević

Publication date: 7 August 2018

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020318000102

zbMATH Keywords

sequent systemsnatural deduction systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (2)

The elimination of maximum cuts in linear logic and BCK logic ⋮ Maximum segments as natural deduction images of some cuts

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A connection between cut elimination and normalization
• Natural deduction with general elimination rules
• A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION
• Gentzen's Proof of Normalization for Natural Deduction
• A natural extension of natural deduction
• The correspondence between cut-elimination and normalization
• Normalization as a homomorphic image of cut-elimination
• Translations from natural deduction to sequent calculus
• Extended Natural Deduction Images of Conversions from the System of Sequents
• Cut Elimination, Substitution and Normalisation
• Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation

This page was built for publication: AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ