The following pages link to (Q3934450):
Displayed 50 items.
- 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)
- An algebraic characterization of frontier testable tree languages (Q672861) (← links)
- Term rewriting and Hoare logic -- Coded rewriting (Q673226) (← links)
- Locally commutative power semigroups and counting factors of words (Q685456) (← links)
- Nonfinitely based pseudovarieties and inherently nonfinitely based varieties (Q687646) (← links)
- Compact algebras in discriminator varieties (Q690118) (← links)
- An algebraic approach to linguistic hedges in Zadeh's fuzzy logic (Q698828) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Monadic bounded algebras (Q708923) (← links)
- Comparison semigroups and algebras of transformations. (Q711608) (← links)
- Conical residuated lattice-ordered idempotent monoids (Q734987) (← links)
- A note on irredundant sets (Q751685) (← links)
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (Q751686) (← links)
- On the size of congruence lattices for models of theories with definability of congruences (Q793011) (← links)
- On linear varieties (Q797610) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Algebraic fuzzy systems (Q809113) (← links)
- Irreducibility in algebraic fuzzy systems (Q809114) (← links)
- Algebras with fuzzy equalities (Q812608) (← links)
- An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result (Q812610) (← links)
- First order theories for partial models (Q813079) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- A note on congruence permutability and fuzzy logic (Q816886) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Optimal hedge-algebras-based controller: design and application (Q835099) (← links)
- Hard constraint satisfaction problems have hard gaps at location 1 (Q837178) (← links)
- Conditions for permutability of congruences in implication algebras (Q841165) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field (Q861578) (← links)
- A common generalization for MV-algebras and Łukasiewicz-Moisil algebras (Q862349) (← links)
- Decomposability of free Łukasiewicz implication algebras (Q862351) (← links)
- A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges (Q868308) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)