論文

査読有り
2012年

Relational representation theorem for powerset quantales

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • Koki Nishizawa
  • ,
  • Hitoshi Furusawa

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.

リンク情報
DOI
https://doi.org/10.1007/978-3-642-33314-9_14
ID情報
  • DOI : 10.1007/978-3-642-33314-9_14
  • ISSN : 0302-9743
  • ISSN : 1611-3349
  • SCOPUS ID : 84867647379

エクスポート
BibTeX RIS