The Stroke Function in Natural Deduction
From MaRDI portal
Publication:3293391
DOI10.1002/malq.19610070706zbMath0107.00611OpenAlexW2128758283MaRDI QIDQ3293391
Publication date: 1961
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19610070706
Related Items
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective), Proofs of some axioms by Stroke function, Minimal complete propositional natural deduction systems, Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger, A Brief History of Natural Deduction, Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different