Constructing locales from quantales

From MaRDI portal
Revision as of 14:40, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3807268

DOI10.1017/S0305004100065403zbMath0658.06007MaRDI QIDQ3807268

Kimmo I. Rosenthal, Susan B. Niefield

Publication date: 1988

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)




Related Items (38)

Modulated bicategoriesOn syntactic nuclei of rational languagesMulti-posets in algebraic logic, group theory, and non-commutative topologyPhase semantics and sequent calculus for pure noncommutative classical linear propositional logicQuantal sets and sheaves over quantalesQuantales, observational logic and process semanticsQuantaloids, enriched categories and automata theoryCoverings and embeddings of inverse semigroupsRelations and non-commutative linear logicGirard quantaloidsQuantales and (noncommutative) linear logicAutonomous posets and quantalesA general approach to gabriel filters on quantalesTensor products and relation quantalesProper/residually-finite idempotent semirings.Quantum spacesGrishin algebras and cover systems for classical bilinear logicUnnamed ItemA characterization of nuclei in orthomodular and quantic latticesAlgebraic Kripke-style semantics for relevance logicsQuantic latticesQuantaloidal nuclei, the syntactic congruence and tree automataQuantitative domains and infinitary algebrasOn the least multiplicative nucleus of a ringA representation theorem for quantalesOn the quantale of quantic nucleiUnnamed ItemUnnamed ItemUnnamed ItemAn algebraic approach to chaosSemistar Operations on Dedekind DomainsUnnamed ItemFree quantaloidsOn Krull's separation lemmaUnnamed ItemQuantum B-algebras with involutionsSpectra of monoidal-latticesTropological systems are points of quantales



Cites Work


This page was built for publication: Constructing locales from quantales