Relational Representation Theorem for Powerset Quantales

DOI10.1007/978-3-642-33314-9_14zbMath1330.06012OpenAlexW203059146MaRDI QIDQ2915145

Koki Nishizawa, Hitoshi Furusawa

Publication date: 21 September 2012

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_14

zbMATH Keywords

powerset quantalesrelational representations

Mathematics Subject Classification ID

Quantales (06F07)

Related Items

Preorders, Partial Semigroups, and Quantales ⋮ Multirelational representation theorems for complete idempotent left semirings.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A representation theorem for quantales
• Relational representation of groupoid quantales
• Quantales and (noncommutative) linear logic
• Representation Theorems for Quantales
• Boolean Algebras with Operators