Representation Theorems for Quantales

DOI10.1002/MALQ.19940400205MaRDI QIDQ4304104zbMATH OpenOpenAlexFDO

Authors Silvio Valentini

Publication date 6 July 1995

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19940400205

zbMATH Keywords

order idealordered relatonsrepresentation theoremunital quantale

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Structure and representation theory of distributive lattices (06D05) Complete distributivity (06D10) Heyting algebras (lattice-theoretic aspects) (06D20) Ordered semigroups and monoids (06F05)

Recommendations

• Representation of integral quantales by tolerances
• Relational representation theorem for powerset quantales.
• A representation theorem for quantale algebras
• A representation theorem for quantales
• Involutive and relational quantaloids
• Injective hulls of partially ordered monoids
• scientific article; zbMATH DE number 46487
• scientific article; zbMATH DE number 1735906
• Some new properties of quantales.
• Semigroups in complete lattices. Quantales, modules and related topics

Cites work

• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Quantales and (noncommutative) linear logic

Cited in

(19)

• Weak representations of quantified hyperspace structures
• Involutive and relational quantaloids
• Representation of integral quantales by tolerances
• Representation and preservation of the metamathematical quotients of A. Robinson
• Relational representation of groupoid quantales
• G. Czédli's tolerance factor lattice construction and weak ordered relations
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• Relational representation theorem for powerset quantales.
• Relational and multirelational representation theorems for complete idempotent left semirings.
• Topological representation and quantic separation axioms of semi-quantales
• A representation theorem for quantale algebras
• Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 167214 (Why is no real title available?)
• scientific article; zbMATH DE number 6179133 (Why is no real title available?)
• Preorders, Partial Semigroups, and Quantales
• Ordered relations, concept lattices and self-bonds
• Atoms of the lattices of residuated mappings
• Representation theorems for \(Q\)-algebras

This page was built for publication: Representation Theorems for Quantales

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