Extended Natural Deduction Images of Conversions from the System of Sequents

DOI10.1093/LOGCOM/14.6.769zbMath1070.03037OpenAlexW2012512536MaRDI QIDQ4659951

Mirjana Borisavljević

Publication date: 21 March 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/14.6.769

Mathematics Subject Classification ID

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

Related Items (3)

AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ ⋮ Cut Elimination, Substitution and Normalisation ⋮ Normal derivations and sequent derivations

This page was built for publication: Extended Natural Deduction Images of Conversions from the System of Sequents