Assertion: logic's operator | /r/CapableOf | act on boolean algebra
Facets:
Source sentences:
text: The square also expresses the essential properties of the monadic first order quantifiers ∃ and ∀ that, in an algebraic approach, can be represented within the frame of monadic Boolean algebras by considering quantifiers as modal operators acting on a Boolean algebra .