collaborators

1 paper

math.LO2023

Unilinear residuated lattices: axiomatization, varieties and FEP

Nick Galatos, Xiao Zhuang

We characterize all residuated lattices that have height equal to and show that the variety they generate has continuum-many subvarieties. More generally, we study unilinear re…