The following pages link to (Q3934450):
Displayed 50 items.
- Unary enhancements of inherently non-finitely based semigroups. (Q467506) (← links)
- Semigroups embeddable in hyperplane face monoids. (Q467529) (← links)
- Regular principal factors in free objects in varieties in the interval \([\mathbf{B_2},\mathbf{NB_2}\vee\mathbf{G_n}]\). (Q467530) (← links)
- Representations of algebras in varieties generated by infinite primal algebras. (Q471157) (← links)
- Coproducts of distributive lattice-based algebras. (Q471163) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- Invertible medial algebras and a group of operations. (Q471263) (← links)
- Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras (Q472706) (← links)
- Logical approach for two-valued states on quantum systems (Q472714) (← links)
- \(n\)-orthodistributivity in orthomodular lattices (Q472728) (← links)
- Fundamental relations in multialgebras. Applications. (Q477735) (← links)
- Some remarks on kite pseudo effect algebras (Q480735) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Boolean topological graphs of semigroups: the lack of first-order axiomatization (Q485412) (← links)
- Free algebras over a poset in varieties of Łukasiewicz-Moisil algebras. (Q494011) (← links)
- Inherently non-finitely generated varieties of aperiodic monoids with central idempotents. (Q499391) (← links)
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
- MV-algebras, infinite dimensional polyhedra, and natural dualities (Q512132) (← links)
- On a variety of Burnside ai-semirings satisfying \(x^n\approx x\) (Q512194) (← links)
- Cofinal stable logics (Q514517) (← links)
- The equational theories of representable residuated semigroups (Q514561) (← links)
- Factor congruence lifting property (Q519859) (← links)
- On implicator groupoids (Q522223) (← links)
- Varieties of Birkhoff systems. I (Q523145) (← links)
- Non-reversible betting games on fuzzy events: complexity and algebra (Q533180) (← links)
- Fuzzy hyperalgebras (Q534952) (← links)
- Principal congruences on pseudocomplemented semilattices (Q535107) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (Q535622) (← links)
- An implicit function theorem for algebraically closed fields (Q539983) (← links)
- Self-commuting lattice polynomial functions on chains (Q543287) (← links)
- A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame (Q544144) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras (Q554439) (← links)
- Finite fixed point algebras are subdiagonalisable (Q581435) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Matching - a special case of unification? (Q582272) (← links)
- Unification theory of different causal algebras and its applications to theoretical physics (Q604690) (← links)
- Some applications of higher commutators in Mal'cev algebras (Q607465) (← links)
- The varieties defined by \(P\)-compatible identities of modular ortholattices (Q609647) (← links)
- Rings and Gödel algebras. (Q616126) (← links)
- Automorphism groups of finite groupoids. (Q616129) (← links)
- Residual properties of pre-bipartite digraphs (Q616134) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- Quasi-polynomial functions over bounded distributive lattices (Q623428) (← links)
- Polynomial clones of Mal'cev algebras with small congruence lattices (Q625963) (← links)
- Varieties of recognizable tree series over fields (Q627171) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Maltsev digraphs have a majority polymorphism (Q627926) (← links)