Assertion: arbitrary boolean algebra | /r/HasProperty | considered in boolean-valued semantics
Facets:
Source sentences:
text: In classical semantics, only the two-element Boolean algebra is used, while in Boolean-valued semantics arbitrary Boolean algebras are considered.
text: In classical semantics, only the two-element Boolean algebra is used, while in Boolean-valued semantics arbitrary Boolean algebras are considered.