Pages that link to "Item:Q3807268"
From MaRDI portal
The following pages link to Constructing locales from quantales (Q3807268):
Displaying 43 items.
- On syntactic nuclei of rational languages (Q293361) (← links)
- Multi-posets in algebraic logic, group theory, and non-commutative topology (Q306579) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Quotients and colimits of \(\kappa \)-quantales (Q645190) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Free quantaloids (Q805732) (← links)
- A characterization of nuclei in orthomodular and quantic lattices (Q1176707) (← links)
- Quantic lattices (Q1181827) (← links)
- Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- On the least multiplicative nucleus of a ring (Q1196784) (← links)
- A representation theorem for quantales (Q1208239) (← links)
- On Krull's separation lemma (Q1318348) (← links)
- Spectra of monoidal-lattices (Q1319059) (← links)
- Modulated bicategories (Q1331914) (← links)
- Tropological systems are points of quantales (Q1612161) (← links)
- Tensor products and relation quantales (Q1689290) (← links)
- Quantal sets and sheaves over quantales (Q1897895) (← links)
- Quantaloids, enriched categories and automata theory (Q1899876) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Proper/residually-finite idempotent semirings. (Q1955600) (← links)
- Quantum spaces (Q1956503) (← links)
- On the quantale of quantic nuclei (Q2009229) (← links)
- An algebraic approach to chaos (Q2563766) (← links)
- Locative ontology. I, II, III (Q2725727) (← links)
- (Q3197878) (← links)
- Quantales and (noncommutative) linear logic (Q3478401) (← links)
- First Steps in Descriptive Theory of Locales (Q3977245) (← links)
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (Q3984416) (← links)
- Girard quantaloids (Q4006239) (← links)
- A general approach to gabriel filters on quantales (Q4029243) (← links)
- Quantales, observational logic and process semantics (Q4279244) (← links)
- Coverings and embeddings of inverse semigroups (Q4289461) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- (Q4311227) (← links)
- (Q4344804) (← links)
- (Q4848826) (← links)
- Quantum B-algebras with involutions (Q5024537) (← links)
- Semistar Operations on Dedekind Domains (Q5245125) (← links)
- (Q5753996) (← links)
- (Q6125951) (← links)
- Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad (Q6605363) (← links)
- On \(z\)-elements of multiplicative lattices (Q6657156) (← links)
