algebra

root

and

DualBool GenBool GenBoolFromBoolRng GenBoolFunctions Heyting HeytingGenBoolOverlap

apply

Bool BoundedDistributiveLattice BoundedJoinSemilattice BoundedLattice BoundedMeetSemilattice DistributiveLattice GenBool Heyting JoinSemilattice Lattice MeetSemilattice

asBoolRing

Bool BoolFromBoolRing GenBool GenBoolFromBoolRng

asCommutativeRig

BoundedDistributiveLattice