Natural Deduction for Equality: The Missing Entity
From MaRDI portal
Publication:5251187
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
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