Heyting

lattice

HeytingFunctions

lattice

HeytingGenBoolOverlap

lattice