Representation Theorems for Quantales

DOI10.1002/malq.19940400205zbMath0816.06018OpenAlexW2024031878MaRDI QIDQ4304104

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

representation theoremorder idealunital quantaleordered relatons

Mathematics Subject Classification ID

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

Related Items (9)

Representation of integral quantales by tolerances ⋮ Relational Representation Theorem for Powerset Quantales ⋮ Unnamed Item ⋮ Relational representation of groupoid quantales ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices ⋮ Representation theorems for \(Q\)-algebras ⋮ G. Czédli's tolerance factor lattice construction and weak ordered relations ⋮ Involutive and relational quantaloids

Cites Work

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

This page was built for publication: Representation Theorems for Quantales