The calculus of natural calculation
From MaRDI portal
Publication:2062198
DOI10.1007/s11225-020-09938-7OpenAlexW3169616153MaRDI QIDQ2062198
Publication date: 27 December 2021
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-020-09938-7
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Advances in proof-theoretic semantics
- Untersuchungen über das logische Schliessen. I
- On the rules of suppositions in formal logic
- The idea of a proof-theoretic semantics and the meaning of the logical operations
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- The harmony of identity
- RULES FOR SUBATOMIC DERIVATION
- On Formally Measuring and Eliminating Extraneous Notions in Proofs
- The Impact of the Lambda Calculus in Logic and Computer Science
- Hilbert's Twenty-Fourth Problem
- Identity of Proofs Based on Normalization and Generality
- Identity and harmony
- Discussing Hilbert's 24th problem
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
- Grundlagen der Mathematik I
- Towards a Proof-Theoretic Semantics of Equalities
- Logic and structure
This page was built for publication: The calculus of natural calculation