The following pages link to (Q4530231):
Displaying 50 items.
- Priestley duality for bilattices (Q454389) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- Multi-adjoint property-oriented and object-oriented concept lattices (Q454881) (← links)
- Canonical extensions of posets. (Q466925) (← links)
- Definition of flat poset and existence theorems for recursive call (Q467805) (← links)
- Coproducts of distributive lattice-based algebras. (Q471163) (← links)
- A particular Galois connection between relations and set functions. (Q472151) (← links)
- Solving non-linear constraint satisfaction problems involving time-dependent functions (Q475451) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A sharing-based approach to supporting adaptation in service compositions (Q488324) (← links)
- The \(m\)-cover posets and their applications (Q492702) (← links)
- From-below approximations in Boolean matrix factorization: geometry and new algorithm (Q494072) (← links)
- Gödel algebras: interactive dualities and their applications. (Q494623) (← links)
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions (Q494628) (← links)
- The logical structure of truthmaking (Q496319) (← links)
- Dualization in lattices given by ordered sets of irreducibles (Q507520) (← links)
- Algorithms for \(k\)-meet-semidistributive lattices (Q507534) (← links)
- On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\) (Q509534) (← links)
- Trimness of closed intervals in Cambrian semilattices (Q512329) (← links)
- Answer to some open questions on covering dimension for finite lattices (Q512603) (← links)
- Graph aggregation (Q514143) (← links)
- Lattice structures for attractors. II (Q515984) (← links)
- A new view of relationship between atomic posets and complete (algebraic) lattices (Q521574) (← links)
- Uniform topology on EQ-algebras (Q527223) (← links)
- Reverse mathematics and order theoretic fixed point theorems (Q527337) (← links)
- Completely lattice \(L\)-ordered sets with and without \(L\)-equality (Q533142) (← links)
- Invariant functionals on completely distributive lattices (Q533154) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- An asymmetric characterization of the congruence frame (Q536047) (← links)
- Self-commuting lattice polynomial functions on chains (Q543287) (← links)
- Extending conceptualisation modes for generalised formal concept analysis (Q545323) (← links)
- Valuations and closure operators on finite lattices (Q548273) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Bulking II: Classifications of cellular automata (Q549701) (← links)
- Multivariate copulas, quasi-copulas and lattices (Q553087) (← links)
- Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations (Q557898) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Energy-preserving integrators and the structure of B-series (Q604685) (← links)
- Natural dualities for three classes of relational structures (Q607455) (← links)
- Adjunctions on the lattices of partitions and of partial partitions (Q607553) (← links)
- The poset of closure systems on an infinite poset: detachability and semimodularity (Q616624) (← links)
- Application of static analyses for state-space reduction to the microcontroller binary code (Q617924) (← links)
- Rules for aggregating information (Q622567) (← links)
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- Nearlattices with an overriding operation (Q633219) (← links)
- On the homomorphism order of labeled posets (Q634750) (← links)
- Idempotent block splitting on partial partitions. I: Isotone operators (Q634752) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
