2012年
Relational representation theorem for powerset quantales
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- ,
- 巻
- 7560
- 号
- 開始ページ
- 207
- 終了ページ
- 218
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-642-33314-9_14
- 出版者・発行元
- Springer
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.
- ID情報
-
- DOI : 10.1007/978-3-642-33314-9_14
- ISSN : 0302-9743
- ISSN : 1611-3349
- SCOPUS ID : 84867647379