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 ...
Algebraic logic constitutes a vibrant interdisciplinary field that investigates the close interplay between algebraic structures and logical systems. By utilising tools from universal algebra, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results