Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
Bounded depth in Hilbert algebras
Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
Hilbert algebras are the implicative subreducts of Heyting algebras. It is shown that having depth at most n is an equational condition in Hilbert algebras. This generalizes an ana…
math.LO2026
Ultracontact algebras and stack systems
Luca Carai, Ivo Düntsch, Rafał Gruszczyński +1
We study the class of structures that, in a way, generalize various approaches to the contact relation on Boolean algebras.