Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Mulvey, C.J.: Second Topology Conference. Rendiconti del Circolo Matematico di Palermo, Series 2, Supplement number 12, pp. 99–104 (1986)
Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)
Jifeng, H., Hoare, C.A.R.: Weakest prespecification. Information Processing Letters 24 (1987)
Vickers, S.: Topology via Logic. Cambridge University Press (1989)
Yetter, D.N.: Quantales and (noncommutative) linear logic. Journal of Symbolic Logic 55, 41–64 (1990)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)
Johnstone, P.T.: Stone Spaces. Cambridge Univ. Press, Cambridge (1982)
Valentini, S.: Representation theorems for quantales. Math. Log. Q. 40, 182–190 (1994)
Brown, C., Gurr, D.: A representation theorem for quantales. Journal of Pure and Applied Algebra 85, 27–42 (1993)
Palmigiano, A., Re, R.: Relational representation of groupoid quantales. Order, 1–19, doi:10.1007/s11083-011-9227-z
Jónsson, B., Tarski, A.: Boolean algebras with operators. Part II. Amer. J. Math. 74, 127–162 (1952)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nishizawa, K., Furusawa, H. (2012). Relational Representation Theorem for Powerset Quantales. In: Kahl, W., Griffin, T.G. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2012. Lecture Notes in Computer Science, vol 7560. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33314-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-33314-9_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33313-2
Online ISBN: 978-3-642-33314-9
eBook Packages: Computer ScienceComputer Science (R0)