The following pages link to (Q3934450):
Displayed 50 items.
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- Bipartite graphs and completely 0-simple semigroups. (Q415549) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Binary central relations and submaximal clones determined by nontrivial equivalence relations. (Q422338) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Lattice properties of congruences for stochastic relations (Q424543) (← links)
- States on commutative basic algebras (Q427918) (← links)
- Equational characterization for two-valued states in orthomodular quantum systems (Q429230) (← links)
- Three ultrafilters in a modular logic (Q429920) (← links)
- The variety generated by semi-Heyting chains (Q432182) (← links)
- On rough set and fuzzy sublattice (Q433051) (← links)
- Quantum complex projective spaces from Toeplitz cubes (Q446425) (← links)
- Projective bichains (Q451076) (← links)
- A refinement of Stone duality to skew Boolean algebras (Q451077) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- The dual adjunction between MV-algebras and Tychonoff spaces (Q454391) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- On the number of finite algebraic structures (Q466908) (← links)
- 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)