A new basic set of transformations between proofs

MaRDI QIDQ3012539zbMATH OpenFDO

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

Publication date 6 July 2011

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1421197
• A normalization procedure for the equational fragment of labelled natural deduction
• The functional interpretation of logical deduction
• Labelled natural deduction for substructural logics
• Some 3-Dimensional Systems of Labelled Deduction

Cited in

(8)

• On reduction rules, meaning-as-use, and proof-theoretic semantics
• Translating between implicit and explicit versions of proof
• The functional interpretation of logical deduction
• scientific article; zbMATH DE number 67458 (Why is no real title available?)
• A normalization procedure for the equational fragment of labelled natural deduction
• scientific article; zbMATH DE number 1421197 (Why is no real title available?)
• The functional interpretation of direct computations
• Natural Deduction for Equality: The Missing Entity

This page was built for publication: A new basic set of transformations between proofs

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