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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback