A normalization procedure for the equational fragment of labelled natural deduction

DOI10.1093/JIGPAL/7.2.173MaRDI QIDQ4237679zbMATH OpenOpenAlexFDO

Authors Anjolina de Oliveira, Ruy J. G. B. de Queiroz

Publication date 28 October 1999

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/7.2.173

zbMATH Keywords

labelled equalitylabelled natural deductionstrong normalization propertyterm rewriting system

Mathematics Subject Classification ID

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

Recommendations

• A new basic set of transformations between proofs
• scientific article; zbMATH DE number 1421197
• Strong normalization for truth table natural deduction
• The functional interpretation of direct computations

Cited in

(6)

• On reduction rules, meaning-as-use, and proof-theoretic semantics
• A new basic set of transformations between proofs
• Labelled Natural Deduction for Conditional Logics of Normality
• The functional interpretation of direct computations
• Natural Deduction for Equality: The Missing Entity
• Computational paths -- a weak groupoid

This page was built for publication: A normalization procedure for the equational fragment of labelled natural deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237679)