3 citations · 5 across the 14 of their papers we have counts for
Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
Proper varieties of distributive l-pregroups are periodic
Nikolaos Galatos, Simon Santschi
We show that every proper variety of distributive -pregroups is periodic; as a result, the subvariety lattice of the variety of distributive -pregroups decomposes into…
math.LO2026
Interpolation above S4
Simon Santschi, Niels C. Vooijs
We complete Maksimova's classification of the normal extensions of S4 with interpolation. In particular, we prove Craig interpolation for the six extensions of S4 for which Craig i…