Relational representation theorem for powerset quantales.

DOI10.1007/978-3-642-33314-9_14MaRDI QIDQ2915145zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A representation theorem for quantales
• Relational representation of groupoid quantales
• Representation Theorems for Quantales
• A representation theorem for quantale algebras
• Involutive and relational quantaloids

Cites work

• A representation theorem for quantales
• Boolean Algebras with Operators
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Quantales and (noncommutative) linear logic
• Relational representation of groupoid quantales
• Representation Theorems for Quantales

Cited in

(9)

• A representation theorem for quantales
• Involutive and relational quantaloids
• Representation of integral quantales by tolerances
• Relational representation of groupoid quantales
• Multirelational representation theorems for complete idempotent left semirings.
• Relational and multirelational representation theorems for complete idempotent left semirings.
• Representation Theorems for Quantales
• Preorders, Partial Semigroups, and Quantales
• Relational, closure and partition powerset theories

This page was built for publication: Relational representation theorem for powerset quantales.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915145)