The following pages link to (Q5532570):
Displayed 50 items.
- Partial updates (Q555785) (← links)
- Kernels of covered groups. II (Q581633) (← links)
- Actions of Boolean rings on sets (Q583355) (← links)
- Binary quantum logic and generating semigroups (Q584260) (← links)
- Probabilistische Topologien (Q598650) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions (Q688439) (← links)
- Nonordered quantum logic and its YES-NO representation (Q689309) (← links)
- A note on a natural equivalence relation on fuzzy power set (Q703384) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Subdirectly irreducible double p-algebras of finite range (Q754238) (← links)
- Structural theorems for submodular functions, polymatroids and polymatroid intersections (Q757383) (← links)
- A note on equationally compact lattices (Q758488) (← links)
- Über das Randspektrum komplexer ordnungsbeschränkter Operatoren in Banachverbänden (Q758708) (← links)
- Archimedean lattices (Q759049) (← links)
- On some operations on classes of algebras (Q759050) (← links)
- Ordered sets with no chains of ideals of a given type (Q762508) (← links)
- Fonctions croissantes et mesures sur les espaces topologiques ordonnes (Q768217) (← links)
- On chains whose power semigroups are lattices (Q786836) (← links)
- The intersection of the maximal regular subsemigroups of the semigroup of binary relations (Q791675) (← links)
- On subdirectly irreducible lattice-ordered semigroups (Q792362) (← links)
- Subdirect decomposition of concept lattices (Q793764) (← links)
- A completion for partially ordered Abelian groups (Q794682) (← links)
- Replaceability and computational equivalence for monotone boolean functions (Q798296) (← links)
- Cauchy's equation on \(\Delta ^ +\) (Q809278) (← links)
- Point-set lattice-theoretic topology (Q809391) (← links)
- Monoidal closed categories, weak topoi and generalized logics (Q810504) (← links)
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic'' sets, ``intuitionistic'' fuzzy sets and topologies (Q812590) (← links)
- Generating pseudo-t-norms and implication operators (Q812627) (← links)
- On the complemented disk algebra (Q817585) (← links)
- Representations of monadic MV-algebras (Q817684) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Solving linear optimization problems with max-star composition equation constraints (Q849775) (← links)
- Orthomodular semilattices (Q861800) (← links)
- Revisiting the free 2-generator abelian \(\ell\)-group (Q861847) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Chain dominated orders (Q862975) (← links)
- An introduction to vague complemented ordered sets (Q867604) (← links)
- Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) (Q869120) (← links)
- Cutset condition for geometric lattices (Q878149) (← links)
- Order embeddings with irrational codomain: Debreu properties of real subsets (Q878151) (← links)
- On the structure of left-continuous t-norms that have a continuous contour line (Q879013) (← links)
- A method of finding automorphism groups of endomorphism monoids of relational systems. (Q879337) (← links)
- Cardinal: a finite sets constraint solver (Q879977) (← links)
- Ideals and Green's relations in ordered semigroups (Q884169) (← links)
- Properties of data flow frameworks: A unified model (Q910237) (← links)
- Automata simulating quantum logics (Q911587) (← links)
- Applications of lattice theory to graph decomposition (Q911609) (← links)
- Hyperplane arrangements with a lattice of regions (Q912387) (← links)