A Heyting algebra is supplemented if each element a has a dual pseudo-complement a⁺, and a Heyting algebra is centrally supplement if it is supplemented and each supplement is central. We show that ...
This is a preview. Log in through your library . Abstract The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback