activity
20022023
most citedTowards a Proof Theory of Gödel Modal Logics

23 citations · 79 across the 17 of their papers we have counts for

collaborators
Showing math.GRShow all

1 paper · 1 filter

math.GR2021★ 1 cited

From distributive l-monoids to l-groups, and back again

Almudena Colacito, Nikolaos Galatos, George Metcalfe +1

We prove that an inverse-free equation is valid in the variety LG of lattice-ordered groups (l-groups) if and only if it is valid in the variety DLM of distributive lattice-ordered…