Axiomatization of propositional calculus with Sheffer functors

DOI10.1305/NDJFL/1093958259zbMath0144.24401OpenAlexW1991904793WikidataQ29013192 ScholiaQ29013192MaRDI QIDQ2523563

Thomas W. Scharle

Publication date: 1965

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093958259

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

On proofs of some axioms with Sheffer functor ‘D’ ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition

This page was built for publication: Axiomatization of propositional calculus with Sheffer functors