A refinement of ternary Boolean algebras
Abstract
An algebraic structure with two constants and one ternary operation, which is not completely commutative, is put forward to accommodate ternary Boolean algebras. When the ternary operation is interpreted as Church's conditioned disjunction, Boolean algebras are characterized as a subvariety. Different interpretations for the ternary operation lead to distinct subvarieties. Rings and near-rings of characteristic 2 are used to illustrate the procedure.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.