The paper gives a sufficient condition for a quantale to be isomorphic to a sub-quantale of the quantale whose elements are binary relations on a set and whose order and monoid structure are respectively given by inclusion and relational composition and the identity relation. A quantale has such a relational representation, if its underlying lattice is a powerset of some set. We also show some other equivalent conditions of the sufficient condition. © 2012 Springer-Verlag.
CITATION STYLE
Nishizawa, K., & Furusawa, H. (2012). Relational representation theorem for powerset quantales. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7560 LNCS, pp. 207–218). https://doi.org/10.1007/978-3-642-33314-9_14
Mendeley helps you to discover research relevant for your work.