A representation theorem for quantales

DOI10.1016/0022-4049(93)90169-TzbMATH Open0776.06011MaRDI QIDQ1208239FDOQ1208239

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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An extension of the Galois theory of Grothendieck
• Linear logic
• Quantales and (noncommutative) linear logic
• Quantales, observational logic and process semantics
• Constructing locales from quantales
• The weakest prespecification
• Relations and non-commutative linear logic
• Order ideals in categories

Cited In (20)

• The limit and tensor product in the category of Q-P quantale modules
• Involutive and relational quantaloids
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relations and non-commutative linear logic
• Relational Representation Theorem for Powerset Quantales
• Multirelational representation theorems for complete idempotent left semirings.
• Representation theorems for \(Q\)-algebras
• Sobriety and spatiality in varieties of algebras
• Relational representation of groupoid quantales
• Representation Theorems for Quantales
• Characterizing determinacy in Kleene algebras
• Title not available (Why is that?)
• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• Quantal sets and sheaves over quantales
• Value semigroups, value quantales, and positivity domains
• Topological representation and quantic separation axioms of semi-quantales
• Representation and preservation of the metamathematical quotients of A. Robinson
• Title not available (Why is that?)

Recommendations

• Algebraic and Categorical Aspects of Quantales 👍 👎
• Simple involutive quantales 👍 👎
• Semigroups in complete lattices. Quantales, modules and related topics 👍 👎
• Representation of integral quantales by tolerances 👍 👎
• Relational Representation Theorem for Powerset Quantales 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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

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