The following pages link to (Q4530231):
Displaying 50 items.
- Exploiting adjoints in property directed reachability analysis (Q6535527) (← links)
- Congruence relations and direct decomposition of uninorms on bounded lattices (Q6535590) (← links)
- On the polytope of 3-tolerant fuzzy measures (Q6536007) (← links)
- Factorizing formal contexts from closures of necessity operators (Q6537157) (← links)
- Haves and have-nots: a theory of economic sufficientarianism (Q6537229) (← links)
- On conditional monotonicities of interval-valued functions (Q6547340) (← links)
- Constructing overlap functions on bounded posets via multiplicative generators (Q6548452) (← links)
- A note on information systems for continuous semi-lattices (Q6548962) (← links)
- An efficient state space construction for a class of timed automata (Q6550569) (← links)
- Exploring well-gradedness in polytomous knowledge structures (Q6557374) (← links)
- Decidability of lattice equations (Q6562367) (← links)
- Lift and generalized ordinal sum of negations on bounded posets (Q6564950) (← links)
- A direct approach to representing algebraic domains by formal contexts (Q6570309) (← links)
- Semi-ideal convex effect algebras (Q6571223) (← links)
- Minimality conditions, topologies, and ranks for spherically ordered theories (Q6587399) (← links)
- Real-valued hemimetric-based fuzzy rough sets and an application to contour extraction of digital surfaces (Q6588923) (← links)
- Cancel culture. The search for universally cancellable exponents of posets (Q6589703) (← links)
- Introduction to clones of functions (Q6594811) (← links)
- Closure operations on intuitionistic linear algebras (Q6596111) (← links)
- The logic behind desirable sets of things, and its filter representation (Q6596691) (← links)
- Isolated suborders and their application to counting closure operators (Q6597961) (← links)
- Stone duality for relations (Q6612781) (← links)
- A class of lattices applicable to measurable sets and functions (modulo equality a.e.) (Q6614476) (← links)
- An inverse Fraïssé limit for finite posets and duality for posets and lattices (Q6614519) (← links)
- A study of the small inductive dimension in the area of finite lattices (Q6615243) (← links)
- The Dedekind-MacNeille completion of a poset as a set of ideals of the incidence algebra (Q6615245) (← links)
- Injective hulls are completions of ordered algebras (Q6615249) (← links)
- Towards declarative comparabilities: application to functional dependencies (Q6615314) (← links)
- On a convex geometric connection to threshold logic (Q6616807) (← links)
- A set-theoretic approach to algebraic \(\mathrm{L}\)-domains (Q6620017) (← links)
- A new minimal element theorem and new generalizations of Ekeland's variational principle in complete lattice optimization problem (Q6624925) (← links)
- Matching on poset-based average rank for multiple treatments to compare many unbalanced groups (Q6628192) (← links)
- Tropical convexity in location problems (Q6629534) (← links)
- Representation theorems for simplicial complexes and matroidal-like properties of minimal partitioners (Q6632119) (← links)
- Surprising occurrences of order structures in mathematics (Q6632769) (← links)
- Quineanism, noneism and metaphysical equivalence (Q6636377) (← links)
- Projection methods for finding the greatest element of the intersection of max-closed convex sets (Q6638853) (← links)
- Minimal solutions of fuzzy relation equations via maximal independent elements (Q6645051) (← links)
- Non-existing and ill-behaved coequalizers of locally ordered spaces (Q6645917) (← links)
- Some remarks on the comparability of ideals in semirings (Q6650396) (← links)
- The structure space of \(C_-(X)\) via that of \(\Gamma\)-semirings (Q6650660) (← links)
- Introduction to the integer partition lattice (Q6653774) (← links)
- On the cancellation problem for \(L\)-algebras (Q6655519) (← links)
- Difference operators on lattices (Q6655525) (← links)
- New constructions of t-norms and t-conorms on bounded lattices (Q6657288) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)
- Extracting attribute implications from a formal context: unifying the basic approaches (Q6658951) (← links)
- On logics of perfect paradefinite algebras (Q6661152) (← links)
- Categorical interpretations of cryptomorphisms and maps arising from matroidal and combinatorial contexts (Q6667405) (← links)
- On 2-absorbing strong primary fuzzy ideals in lattices (Q6669844) (← links)
