"An odd Sugihara monoid is a residuated distributive lattice-ordered commutative idempotent monoid with an order-reversing involution that fixes the monoid identity."
"A category equivalence for odd Sugihara monoids and its applications"
Galatos & Raftery (2012)
In the