Boolean-valued
Encyclopedia
Boolean-valued usually refers to:
- in most applied fields: something taking one of two values (example: True or False, On or Off, 1 or 0) referring to two-element Boolean algebra (the Boolean domainBoolean domainIn mathematics and abstract algebra, a Boolean domain is a set consisting of exactly two elements whose interpretations include false and true...
), e.g. Boolean-valued functionBoolean-valued functionA boolean-valued function, in some usages is a predicate or a proposition, is a function of the type f : X → B, where X is an arbitrary set and where B is a boolean domain....
or Boolean data type - in mathematics: something taking values over an arbitrary, abstract Boolean algebra, for example Boolean-valued modelBoolean-valued modelIn mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean...