Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
From MaRDI portal
Publication:2144212
DOI10.1007/s10992-022-09665-5zbMath1487.03025OpenAlexW4225274036MaRDI QIDQ2144212
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
Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)
This page was built for publication: Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
