A representation theorem for quantales

DOI10.1016/0022-4049(93)90169-TzbMath0776.06011MaRDI QIDQ1208239

Carolyn Brown, Doug Gurr

Publication date: 16 May 1993

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

linear logic; quantale; relational composition; relational quantale

Mathematics Subject Classification ID

06F05: Ordered semigroups and monoids

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

The limit and tensor product in the category of Q-P quantale modules, Representation theorems for \(Q\)-algebras, Sobriety and spatiality in varieties of algebras, Involutive and relational quantaloids, Characterizing determinacy in Kleene algebras, Value semigroups, value quantales, and positivity domains, Quantal sets and sheaves over quantales, Relations and non-commutative linear logic, Relational representation of groupoid quantales, Reducts of relation algebras: the aspects of axiomatisability and finite representability, Multirelational representation theorems for complete idempotent left semirings., Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices, Relational Representation Theorem for Powerset Quantales, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Order ideals in categories
• The weakest prespecification
• Relations and non-commutative linear logic
• An extension of the Galois theory of Grothendieck
• Quantales and (noncommutative) linear logic
• Constructing locales from quantales
• Quantales, observational logic and process semantics