Boolean algebra (structure)

Boolean-valued semantics、en:Algebraic semantics (mathematical logic)を参照）（古典命題論理の）において、真理値は任意のブール代数（ブール束、en:Boolean algebra (structure)）の元である;

Church (1940). ^ a b Zaguia (1993). ^ Brown, K. S., Generating the monotone Boolean functions, https://www.mathpages.com/home/kmath094/kmath094.htm  Berman