Non-classical logics, encompassing modal, intuitionistic, fuzzy and other alternative logical systems, have increasingly benefitted from an algebraic treatment that elucidates the underlying structure ...