Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
From MaRDI portal
Publication:288247
DOI10.1007/s10992-015-9370-xzbMath1392.03018arXiv1504.05995MaRDI QIDQ288247
Publication date: 25 May 2016
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1504.05995
03F05: Cut-elimination and normal-form theorems
03B05: Classical propositional logic
03F03: Proof theory in general (including proof-theoretic semantics)
03B22: Abstract deductive systems
Related Items
Cites Work
- Natural deduction with general elimination rules
- Untersuchungen über das logische Schliessen. I
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- The Stroke Function in Natural Deduction
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item