scientific article; zbMATH DE number 1421197

MaRDI QIDQ4946226zbMATH OpenFDO

Authors Ruy J. G. B. de Queiroz, Dov Gabbay

Publication date 5 February 2001

zbMATH Keywords

labelled deductive systemsnatural deductionproof theorypropositional equality

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A new basic set of transformations between proofs
• scientific article; zbMATH DE number 510780
• scientific article; zbMATH DE number 932649
• scientific article; zbMATH DE number 1749009
• Labelled propositional modal logics: theory and practice

Cited in

(7)

• On reduction rules, meaning-as-use, and proof-theoretic semantics
• A new basic set of transformations between proofs
• The functional interpretation of logical deduction
• A normalization procedure for the equational fragment of labelled natural deduction
• scientific article; zbMATH DE number 1421203 (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:

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