The following pages link to (Q4530231):
Displaying 50 items.
- Re-visiting axioms of information systems (Q259056) (← links)
- Fast, linear time hierarchical clustering using the Baire metric (Q263340) (← links)
- The injective hull of ultra-quasi-metric versus \(q\)-hyperconvex hull of quasi-metric space (Q266333) (← links)
- The strong endomorphism kernel property for modular p-algebras and for distributive lattices (Q271701) (← links)
- On reduced zero-divisor graphs of posets (Q275664) (← links)
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
- On a condition for semirings to induce compact information algebras. (Q276423) (← links)
- A note on finitely derived information systems (Q276427) (← links)
- Formal contexts for algebraic domains (Q276430) (← links)
- Fuzzy terms (Q277347) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- The universal fuzzy automaton (Q279373) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- Pair algebras and Galois connections. (Q293350) (← links)
- An algebraic approach to computations with progress (Q299188) (← links)
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- The distributivity on bi-approximation semantics (Q306839) (← links)
- Covering-based rough sets and modal logics. I. (Q313134) (← links)
- Efficient optimally lazy algorithms for minimal-interval semantics (Q313957) (← links)
- Convergence of quasi-optimal sparse-grid approximation of Hilbert-space-valued functions: Application to random elliptic PDEs (Q315715) (← links)
- When do \(L\)-fuzzy ideals of a ring generate a distributive lattice? (Q317918) (← links)
- A comprehensive survey on formal concept analysis, its research trends and applications (Q326255) (← links)
- Possibilities determine the combinatorial structure of probability polytopes (Q334459) (← links)
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Relating attribute reduction in formal, object-oriented and property-oriented concept lattices (Q356097) (← links)
- Constraint satisfaction, irredundant axiomatisability and continuous colouring (Q361864) (← links)
- Locales as spectral spaces (Q364688) (← links)
- A note on the \(r\)-Whitney numbers of Dowling lattices (Q386659) (← links)
- Convergence of preference functions (Q388149) (← links)
- A non-commutative Priestley duality. (Q390415) (← links)
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Groups acting on tensor products. (Q392434) (← links)
- On the topology of the Cambrian semilattices. (Q396755) (← links)
- Foundations of inference (Q398514) (← links)
- Fraïssé sequences: category-theoretic approach to universal homogeneous structures (Q400425) (← links)
- Scholarly influence (Q402106) (← links)
- The extended permutohedron on a transitive binary relation. (Q404457) (← links)
- Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras (Q409741) (← links)
- On limits and colimits of variety-based topological systems (Q409742) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Moore-Smith convergence in (L,M)-fuzzy topology (Q419012) (← links)
- On the diameter and girth of zero-divisor graphs of posets (Q423958) (← links)
- On rough set and fuzzy sublattice (Q433051) (← links)
- Mechanised wire-wise verification of Handel-C synthesis (Q436367) (← links)
- A minimum problem for finite sets of real numbers with nonnegative sum (Q443111) (← links)
- Countable homogeneous linearly ordered posets (Q449222) (← links)
- Constructive Boolean circuits and the exactness of timed ternary simulation (Q453539) (← links)
- Extension of fuzzy logic operators defined on bounded lattices via retractions (Q453825) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
