L-algebras and topology

[Formula: see text]-algebras are based on an equation which is fundamental in the construction of various torsion-free groups, including spherical Artin groups, Riesz groups, certain mapping class groups, para-unitary groups, and structure groups of set-theoretic solutions to the Yang–Baxter equation. A topological study of [Formula: see text]-algebras is initiated. A prime spectrum is associated to certain (possibly all) [Formula: see text]-algebras, including three classes of [Formula: see text]-algebras where the ideals are determined in a more explicite fashion. Known results on orthomodular lattices, Heyting algebras, or quantales are extended and revisited from an [Formula: see text]-algebraic perspective.

A Categorial Equivalence for Semi-Nelson Algebras

We present a category equivalent to that of semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting algebra and one of its filters. The filters must contain all the dense elements of the semi-Heyting algebra and satisfy an additional technical condition. We also show that the category of dually hemimorphic semi-Nelson algebras is equivalent to that of dually hemimorphic semi-Heyting algebras.

Splittings in varieties of logic

We study splittings or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the non-splitting lemma, which when combined with some variety-specific constructions, yields each of our negative results: the variety of commutative integral residuated lattices contains no splitting algebras, and in the varieties of double Heyting algebras, dually pseudocomplemented Heyting algebras and regular double [Formula: see text]-algebras the only splitting algebras are the two-element and three-element chains.

Residuated Structures and Orthomodular Lattices

The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., $$\ell $$ ℓ -groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated $$\ell $$ ℓ -groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated $$\ell $$ ℓ -groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated $$\ell $$ ℓ -groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.