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

term rewriting systemlabelled natural deductionstrong normalization propertylabelled equality

Mathematics Subject Classification ID

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

Recommendations

• A new basic set of transformations between proofs
• Publication:4946226
• Strong normalization for truth table natural deduction
• The functional interpretation of direct computations

Cited in

(5)

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

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)