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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback