Representation Theorems for Quantales
From MaRDI portal
Publication:4304104
DOI10.1002/malq.19940400205zbMath0816.06018MaRDI QIDQ4304104
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
06D10: Complete distributivity
06D20: Heyting algebras (lattice-theoretic aspects)
06D05: Structure and representation theory of distributive lattices
03G25: Other algebras related to logic
06F05: Ordered semigroups and monoids
Related Items
Unnamed Item, Representation theorems for \(Q\)-algebras, Involutive and relational quantaloids, Representation of integral quantales by tolerances, 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, Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
Cites Work