The following pages link to (Q4692885):
Displaying 50 items.
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Distributivity conditions and the order-skeleton of a lattice (Q652519) (← links)
- Structural universals as structural parts: toward a general theory of parthood and composition (Q656165) (← links)
- A fixed point theorem in partial quasi-metric spaces and an application to software engineering (Q668250) (← links)
- The largest cartesian closed category of stable domains (Q671652) (← links)
- Semi-metrics, closure spaces and digital topology (Q671997) (← links)
- From CML to its process algebra (Q672132) (← links)
- Extremal solutions of inequations over lattices with applications to supervisory control (Q672379) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Multi-valued logic programming semantics An algebraic approach (Q673383) (← links)
- A logical view of composition (Q685416) (← links)
- The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science (Q692921) (← links)
- Coarsening a knowledge structure (Q696943) (← links)
- A note on a natural equivalence relation on fuzzy power set (Q703384) (← links)
- Simulations in coalgebra (Q703522) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- An application of rough sets to graph theory (Q712705) (← links)
- Minimal bases of temporal attribute implications (Q722104) (← links)
- Partial description of quantum states (Q732290) (← links)
- An elementary theory of product-line variations (Q736801) (← links)
- Realizability of polytopes as a low rank matrix completion problem (Q741602) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Least reflexive points of relations (Q815002) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- Bimonotone linear inequalities and sublattices of \(\mathbb R^n\) (Q817640) (← links)
- Belief models: An order-theoretic investigation (Q819943) (← links)
- Insertion of lattice-valued and hedgehog-valued functions (Q820101) (← links)
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Normal forms and free algebras for some extensions of MTL (Q835114) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Interaction transform for bi-set functions over a finite set (Q855691) (← links)
- Entropy of capacities on lattices and set systems (Q855884) (← links)
- Decision effects, the Hahn-Jordan decomposition for states, and their connection to Ludwig's axiomatic approach to quantum mechanics (Q861635) (← links)
- Poset extensions, convex sets, and semilattice presentations (Q861787) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- A structure theorem for posets admitting a ``strong'' chain partition: a generalization of a conjecture of Daykin and Daykin (with connections to probability correlation inequalities) (Q864160) (← links)
- Non-standard cut classification of fuzzy sets (Q867605) (← links)
- On the random generation and counting of weak order extensions of a poset with given class cardinalities (Q867611) (← links)
- A note on the structure of spaces of domino tilings (Q868344) (← links)
- Decision making over necessity measures through the Choquet integral criterion (Q869131) (← links)
- The core of bicapacities and bipolar games (Q878978) (← links)
- Just in time control of constrained \((max,+)\)-linear systems (Q884764) (← links)
- Orders on intervals over partially ordered sets: extending Allen's algebra and interval graph results. (Q889876) (← links)
- Sparse grid quadrature on products of spheres (Q891778) (← links)
- Robustness of full implication algorithms based on interval-valued fuzzy inference (Q895223) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Games on concept lattices: Shapley value and core (Q897583) (← links)
- Robustness of reverse triple I algorithms based on interval-valued fuzzy inference (Q900261) (← links)
- Connectivity spaces (Q904527) (← links)
