John Bowman Harvill
Abstract
The primary purpose of this paper is to state a set of postulates for Boolean algebra and show the characteristic theorems derivable from them, and to unify in one paper the more important methods of representing Boolean algebra and show their equivalence.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The primary purpose of this paper is to state a set of postulates for Boolean algebra and show the characteristic theorems derivable from them, and to unify in one paper the more important methods of representing Boolean algebra and show their equivalence.
Key concepts: Two-element Boolean algebra, Free Boolean algebra, Complete Boolean algebra, Stone's representation theorem for Boolean algebras, Boolean algebras canonically defined, Boolean algebra, Equivalence (formal languages), Algebra over a field