\(GL\)-quantales: \(Q\)-valued sets and their singletons

DOI10.1023/A:1005038532285zbMath0962.03061OpenAlexW1500626081MaRDI QIDQ1580666

Ulrich Höhle

Publication date: 28 September 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005038532285

zbMATH Keywords

Gelfand quantalessingleton monad\(GL\)-monoids\(GL\)-quantalescategory of \(Q\)-valued setsformalized theory of identitynoncommutative and nonidempotent logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Quantales (06F07)

Related Items (12)

The points and diameters of quantales ⋮ Free \(Q\)-algebras. ⋮ On the power-set \(Q\)-algebras ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Preordered sets valued in a GL-monoid ⋮ Elementary characterisation of small quantaloids of closed cribles ⋮ Quantale-valued dissimilarity ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ Nuclei and conuclei on residuated lattices ⋮ Sheaves on quantaloids

This page was built for publication: \(GL\)-quantales: \(Q\)-valued sets and their singletons