The following pages link to Ivan Chajda (Q334969):
Displaying 50 items.
- On the tolerance lattice of tolerance factors (Q2250848) (← links)
- Product representation for default bilattices: an application of natural duality theory. (Q2259193) (← links)
- On the role of logical connectives for primality and functional completeness of algebras of logics (Q2269795) (← links)
- Evolution of objects and concepts (Q2296038) (← links)
- Solution sets of systems of equations over finite lattices and semilattices (Q2297806) (← links)
- The local loop lemma (Q2302149) (← links)
- On difunctionality of class relations (Q2310434) (← links)
- On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} (Q2310439) (← links)
- A syntactic approach to the MacNeille completion of \(\Lambda^\ast\), the free monoid over an ordered alphabet \(\Lambda\) (Q2314419) (← links)
- Finite semilattices with many congruences (Q2314421) (← links)
- Supernilpotence need not imply nilpotence (Q2314990) (← links)
- The lattice of subspaces of a vector space over a finite field (Q2317632) (← links)
- Operations and structures derived from non-associative MV-algebras (Q2318244) (← links)
- Ideals and their complements in commutative semirings (Q2318284) (← links)
- The partial clone of linear tree languages (Q2332072) (← links)
- Majorization for \((0,1)\)-matrices (Q2332460) (← links)
- A completion for distributive nearlattices (Q2334607) (← links)
- Congruences of convex algebras. (Q2341527) (← links)
- On commutative unary algebras with totally ordered congruence lattice. (Q2341959) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- Characterizations of several Maltsev conditions. (Q2351504) (← links)
- Weaker forms of associativity in orthomodular lattices. (Q2351507) (← links)
- On order types of linear basic algebras. (Q2351508) (← links)
- A quasi-Mal'cev condition with unexpected application. (Q2351514) (← links)
- Map composition generalized to coherent collections of maps. (Q2355647) (← links)
- Residuation in orthomodular lattices (Q2358204) (← links)
- On a variety of commutative multiplicatively idempotent semirings (Q2362266) (← links)
- Kleene algebras with implication (Q2362883) (← links)
- Finitely generated varieties of distributive effect algebras (Q2377306) (← links)
- Are basic algebras residuated structures? (Q2380335) (← links)
- Double basic algebras (Q2390980) (← links)
- Dynamic effect algebras and their representations (Q2392562) (← links)
- Involutive right-residuated l-groupoids (Q2402069) (← links)
- Orthogonal relational systems (Q2403274) (← links)
- On congruences of weak lattices (Q2403454) (← links)
- Interval dismantlable lattices (Q2413417) (← links)
- A basic algebra is an MV-algebra if and only if it is a BCC-algebra (Q2426166) (← links)
- Semilattices with the strong endomorphism kernel property. (Q2443680) (← links)
- Skew residuated lattices (Q2445424) (← links)
- Distributive implication groupoids (Q2464687) (← links)
- Separation in distributive congruence lattices (Q2496136) (← links)
- Finite distributive lattices and the splitting property (Q2496137) (← links)
- On the duality between varieties and algebraic theories (Q2496138) (← links)
- Inverse semigroups determined by their lattices of convex inverse subsemigroups. I, II. (Q2496139) (← links)
- A note on minimal varieties generated by order-primal algebras (Q2496140) (← links)
- Cube-like structures generated by filters (Q2496141) (← links)
- Some remarks on projective-free rings. (Q2496142) (← links)
- On the number of join-irreducibles in a congruence representation of a finite distributive lattice (Q2496143) (← links)
- Results on undecidability of isomorphism of forms over polynomial rings (Q2496144) (← links)
- Lattice ordered effect algebras (Q2496145) (← links)