Boolean inverse monoids and $MV$-algebras are both supposed to be generalizations of Boolean algebras. Boolean inverse monoids are non-commutative, whereas $MV$-algebras are commutative but, in general, non-idempotent. In this talk, I shall explain that $MV$-algebras are really subservient to Boolean inverse monoids. This is joint work with Phil Scott.
Online Zoom meeting
Heriot-Watt University, Edinburgh, Scotland
Semigroups, Automata and Languages