Andrew Craig ; Claudette Robinson - Representing Sugihara monoids via weakening relations

fi:12451 - Fundamenta Informaticae, January 11, 2026, Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024 - https://doi.org/10.46298/fi.12451
Representing Sugihara monoids via weakening relationsArticle

Authors: Andrew Craig ; Claudette Robinson

    We show that all Sugihara monoids can be represented as algebras of binary relations, with the monoid operation given by relational composition. Moreover, the binary relations are weakening relations. The first step is to obtain an explicit relational representation of all finite odd Sugihara chains. Our construction mimics that of Maddux (2010), where a relational representation of the finite even Sugihara chains is given. We define the class of representable Sugihara monoids as those which can be represented as reducts of distributive involutive FL-algebras of binary relations. We then show that the class of representable distributive involutive FL-algebras is closed under ultraproducts. This fact is used to demonstrate that the two infinite Sugihara monoids that generate the quasivariety are also representable. From this it follows that all Sugihara monoids are representable.

    27 pages, 1 figure


    Volume: Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024
    Published on: January 11, 2026
    Accepted on: June 18, 2025
    Submitted on: October 21, 2023
    Keywords: Logic in Computer Science