A normalization procedure for the equational fragment of labelled natural deduction
From MaRDI portal
Publication:4237679
DOI10.1093/jigpal/7.2.173zbMath0923.03064MaRDI QIDQ4237679
Anjolina de Oliveira, Ruy J. G. B. de Queiroz
Publication date: 28 October 1999
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/7.2.173
03F05: Cut-elimination and normal-form theorems
Related Items
The Functional Interpretation of Direct Computations, Natural Deduction for Equality: The Missing Entity, On reduction rules, meaning-as-use, and proof-theoretic semantics