A set of five independent postulates for Boolean algebras, with application to logical constants

Sheffer. (1913). A set of five independent postulates for Boolean algebras, with application to logical constants. Transactions of the American Mathematical Society.

Type

Journal article

Intellectual base

Primary research

Year

1913

DOI

10.1090/s0002-9947-1913-1500960-1

Link

https://doi.org/10.1090/s0002-9947-1913-1500960-1

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• NAND Logic
  • Henry M. Sheffer's 1913 paper showed that a single binary “rejection” operation could replace familiar Boolean operations in an axiomatization

    This sourceThe later migration of the symbol to NAND, and NAND's own completeness, are not claims of this paper.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:dfa837f7fbc6 · see in the full table