A representation theorem for quantales

DOI10.1016/0022-4049(93)90169-TMaRDI QIDQ1208239zbMATHFDO

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

Recommendations

• scientific article; zbMATH DE number 764336
• scientific article; zbMATH DE number 436449
• scientific article; zbMATH DE number 870184
• Relational representation theorem for powerset quantales.
• scientific article; zbMATH DE number 46487
• Publication:3197878
• Simple involutive quantales
• Algebraic and categorical aspects of quantales
• Representation of integral quantales by tolerances
• Semigroups in complete lattices. Quantales, modules and related topics

Cites work

• scientific article; zbMATH DE number 4030272 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• 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 46487 (Why is no real title available?)
• An extension of the Galois theory of Grothendieck
• Constructing locales from quantales
• Linear logic
• Order ideals in categories
• Quantales and (noncommutative) linear logic
• Quantales, observational logic and process semantics
• Relations and non-commutative linear logic
• The weakest prespecification

Cited in

(22)

• Representation of integral quantales by tolerances
• Representation and preservation of the metamathematical quotients of A. Robinson
• Relational representation of groupoid quantales
• Representation theorems for \(Q\)-algebras
• The limit and tensor product in the category of Q-P quantale modules
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• On fuzzification of the notion of quantaloid
• Sobriety and spatiality in varieties of algebras
• Multirelational representation theorems for complete idempotent left semirings.
• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• Relations and non-commutative linear logic
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• Relational and multirelational representation theorems for complete idempotent left semirings.
• Relational representation theorem for powerset quantales.
• Characterizing determinacy in Kleene algebras
• Value semigroups, value quantales, and positivity domains
• scientific article; zbMATH DE number 167214 (Why is no real title available?)
• Topological representation and quantic separation axioms of semi-quantales
• Involutive and relational quantaloids
• scientific article; zbMATH DE number 6179133 (Why is no real title available?)
• Representation Theorems for Quantales
• Quantal sets and sheaves over quantales

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)