scientific article; zbMATH DE number 3878891

MaRDI QIDQ3343958zbMATH OpenFDO

Authors Stanisław J. Surma

Publication date 1980

zbMATH Keywords

axiom systemcomplete axiomatic description of the Sheffer stroke

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• scientific article; zbMATH DE number 3873292
• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• scientific article; zbMATH DE number 3902718
• Short single axioms for Boolean algebra
• The Sheffer stroke operation reducts of basic algebras

Cited in

(3)

• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• Henry M. Sheffer and notational relativity
• On the Sheffer stroke operation in fuzzy logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3343958)