Boolean Algebra. A Correction

DOI10.2307/1989783MaRDI QIDQ4752671zbMATH OpenOpenAlexWikidataFDO

Authors Edward V. Huntington

Publication date 1933

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1989783

zbMATH Keywords

foundations, philosophy, logic

Cited in

(6)

• Mechanizing complemented lattices within Mizar type system
• Linear groupoids and the associated wreath products.
• Relational characterisations of paths
• Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
• Parallel constructions of maximal path sets and applications to short superstrings
• On Automating the Calculus of Relations

This page was built for publication: Boolean Algebra. A Correction

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