A representation theorem for quantales
From MaRDI portal
Publication:1208239
DOI10.1016/0022-4049(93)90169-TzbMATH Open0776.06011MaRDI QIDQ1208239FDOQ1208239
Authors: Carolyn Brown, Doug Gurr 
Publication date: 16 May 1993
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
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
- 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
Subsystems of classical logic (including intuitionistic logic) (03B20) Ordered semigroups and monoids (06F05)
Cites Work
- Title not available (Why is that?)
- An extension of the Galois theory of Grothendieck
- Title not available (Why is that?)
- Linear logic
- Quantales and (noncommutative) linear logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantales, observational logic and process semantics
- Constructing locales from quantales
- Title not available (Why is that?)
- The weakest prespecification
- Relations and non-commutative linear logic
- Order ideals in categories
Cited In (21)
- 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
- Relational and multirelational representation theorems for complete idempotent left semirings.
- Title not available (Why is that?)
- Relations and non-commutative linear logic
- 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?)
- On fuzzification of the notion of quantaloid
- 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?)
- Relational representation theorem for powerset 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)
