2 papers
math.LO2019
Hyper-MacNeille Completions of Heyting algebras
John Harding, Frederik Lauridsen
A Heyting algebra is supplemented if each element has a dual pseudo-complement , and a Heyting algebra is centrally supplement if it is supplemented and each supplement is…
math.LO2019
Integrally Closed Residuated Lattices
José Gil-Férez, Frederik Lauridsen, George Metcalfe
A residuated lattice is defined to be integrally closed if it satisfies the equations x\x = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integral…