The following pages link to (Q3996704):
Displaying 50 items.
- Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices (Q682665) (← links)
- A logical view of composition (Q685416) (← links)
- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918) (← links)
- On stratified \(L\)-convergence spaces: Fischer's diagonal axiom (Q723307) (← links)
- Roughness and fuzziness in quantales. (Q726315) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- Topological representation of right-sided and idempotent quantales (Q744851) (← links)
- Characterization of a category for monoidal topology (Q745720) (← links)
- Many for the price of one duality principle for affine sets (Q748704) (← links)
- Free quantaloids (Q805732) (← links)
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids (Q812560) (← links)
- Regular grammars with truth values in lattice-ordered monoid and their languages (Q816869) (← links)
- Density in categorical topology via quantaloid-enriched categories (Q820671) (← links)
- The saturated prefilter monad (Q820674) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Uniform environments as a general framework for metrics and uniformities (Q834495) (← links)
- Sobriety and spatiality in varieties of algebras (Q835242) (← links)
- \(\mathcal Q\)-\(*\)-categories (Q842761) (← links)
- Étale groupoids and their quantales (Q854099) (← links)
- Morita contexts and their lattices of relations (Q861644) (← links)
- The equivalence between fuzzy Mealy and fuzzy Moore machines (Q862553) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches (Q865043) (← links)
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology (Q881819) (← links)
- The basic Zariski topology (Q887823) (← links)
- Lattice-valued soft algebras. (Q889973) (← links)
- Isomorphisms and functors of fuzzy sets and cut systems (Q894660) (← links)
- Completions of cut systems in \(Q\)-sets (Q894673) (← links)
- On injective hulls of \(S\)-posets (Q896231) (← links)
- A generalization of quantales with applications to modules and rings. (Q899561) (← links)
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors (Q899562) (← links)
- Filters on some classes of quantum B-algebras (Q904489) (← links)
- Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics (Q925363) (← links)
- The change-base issue for \(\Omega\)-categories (Q943065) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Implication structures, fuzzy subsets, and enriched categories (Q969578) (← links)
- Pointed semi-quantales and lattice-valued topological spaces (Q969579) (← links)
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches (Q969582) (← links)
- A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain (Q969587) (← links)
- Sheaves as modules (Q969690) (← links)
- Girard couples of quantales (Q969691) (← links)
- Regular left-continuous t-norms (Q1006336) (← links)
- Ordered groups with a conucleus (Q1035670) (← links)
- A common framework for lattice-valued uniform spaces and probabilistic uniform limit spaces (Q1037935) (← links)
- Analogizing Hutton's quasi-uniformities for complete lattices and extending Shi's quasi-uniformities to closed set lattices (Q1037938) (← links)
- The quantic conuclei on quantales (Q1040655) (← links)
- A generalization of the Jaffard-Ohm-Kaplansky theorem (Q1042415) (← links)
- Quantales and their sheaves (Q1077521) (← links)
- Multiplicative lattices and frames (Q1091409) (← links)
- Projectales (Q1181472) (← links)
- Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038) (← links)
