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

Journal Article On Sahlqvist theory for hybrid logics Get access Willem Conradie, Willem Conradie Search for other works by this author on: Oxford Academic Google Scholar Claudette Robinson Claudette Robinson Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 27, Issue 3, April 2017, Pages 867–900, https://doi.org/10.1093/logcom/exv045 Published: 23 July 2015 Article history Received: 08 November 2014 Published: 23 July 2015