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 logicquantalerelational compositionrelational quantale

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (14)

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A representation theorem for quantales