Natural Deduction for Equality: The Missing Entity

DOI10.1007/978-94-007-7548-0_4zbMath1339.03052OpenAlexW91240435MaRDI QIDQ5251187

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

Publication date: 22 May 2015

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0_4

zbMATH Keywords

natural deductionequalitylabelled deductionequality type

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items

The Functional Interpretation of Direct Computations, On reduction rules, meaning-as-use, and proof-theoretic semantics

Cites Work

• On the logic of unification
• Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts
• A Proof-Theoretic Account of Programming and the Role of Reduction Rules
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Bounds for proof-search and speed-up in the predicate calculus
• A normalization procedure for the equational fragment of labelled natural deduction
• The Functional Interpretation of the Existential Quantifier
• Universal grammar
• Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item