The following pages link to (Q4530231):
Displaying 50 items.
- A new kind of implication to reason with unknown information (Q2117119) (← links)
- On Hilbert algebras generated by the order (Q2118173) (← links)
- On weakly associative lattices and near lattices (Q2119547) (← links)
- Some partial results on the cancellation law for the tensor product of complete lattices (Q2120442) (← links)
- On logical and extensional characterizations of attributed feature models (Q2120962) (← links)
- The monad on strong quasi-metric spaces (Q2120964) (← links)
- Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions (Q2121601) (← links)
- Information systems for continuous semi-lattices (Q2123056) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Generalizing topological set operators (Q2130603) (← links)
- Lattices of irreducibly-derived closed sets (Q2130614) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- Complexity reduction and approximation of multidomain systems of partially ordered data (Q2143036) (← links)
- Criterion for a graph to admit a good orientation in terms of leaf blocks (Q2143270) (← links)
- On extremal domains and codomains for convolution of distributions and fractional calculus (Q2143272) (← links)
- A logic and computation for Popper's conditional probabilities (Q2146066) (← links)
- Soundness and completeness results for LEA and probability semantics (Q2151410) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- On orderings in security models (Q2154022) (← links)
- Convexity on complete lattices (Q2156513) (← links)
- Granular matrix method of attribute reduction in formal contexts (Q2156607) (← links)
- A modal view on resource-bounded propositional logics (Q2157601) (← links)
- Poset exponentiation and a counterexample Birkhoff said in 1942 he did not have (Q2160021) (← links)
- Vietoris hyperspaces over scattered Priestley spaces (Q2164416) (← links)
- Notes on the polytomous generalization of knowledge space theory (Q2165615) (← links)
- Choice-free duality for orthocomplemented lattices by means of spectral spaces (Q2165629) (← links)
- Automatization of ternary Boolean algebras (Q2171519) (← links)
- Algebraic machine learning: emphasis on efficiency (Q2171721) (← links)
- Lattice structures for attractors. III (Q2172766) (← links)
- Weyl integrals on weighted spaces (Q2173476) (← links)
- On the polytomous generalization of knowledge space theory (Q2176453) (← links)
- Irreducible convergence in \(T_0\) spaces (Q2181184) (← links)
- Associative, idempotent, symmetric, and order-preserving operations on chains (Q2183096) (← links)
- An algebraic theory for data linkage (Q2185883) (← links)
- Rough sets based on fuzzy ideals in distributive lattices (Q2189220) (← links)
- Interval-valued fuzzy morphological associative memories: some theoretical aspects and applications (Q2195462) (← links)
- Some classes of abstract simplicial complexes motivated by module theory (Q2196332) (← links)
- Geometric and combinatorial aspects of submonoids of a finite-rank free commutative monoid (Q2197204) (← links)
- Application of two different methods for extending lattice-valued restricted equivalence functions used for constructing similarity measures on \(L\)-fuzzy sets (Q2198007) (← links)
- The homomorphism equation on semilattices (Q2198301) (← links)
- A solution of the minimum-time speed planning problem based on lattice theory (Q2198659) (← links)
- A note on the Knaster-Tarski fixpoint theorem (Q2200474) (← links)
- \(\mathcal{K}\)-formal concept analysis as linear algebra over idempotent semifields (Q2200609) (← links)
- Near-ring congruences on additively regular seminearrings (Q2200884) (← links)
- Toward a Dempster-Shafer theory of concepts (Q2206445) (← links)
- Constructions of overlap functions on bounded lattices (Q2206455) (← links)
- Alternative approaches for generating uninorms on bounded lattices (Q2215147) (← links)
- Equidecomposable magmas (Q2217775) (← links)
- A fuzzy evaluation approach with the quasi-ordered set: evaluating the efficiency of decision making units (Q2218772) (← links)
