Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)

DOI10.1007/s10992-022-09665-5zbMath1487.03025MaRDI QIDQ2144212

Richard Zach

Publication date: 1 June 2022

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-022-09665-5

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03B05: Classical propositional logic

03F03: Proof theory in general (including proof-theoretic semantics)

03B22: Abstract deductive systems