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)
- 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)
- 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)
- 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)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Tree algebras and varieties of tree languages (Q884456) (← links)
- A note on free algebras of discriminator algebras (Q909691) (← links)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- Bounded and well-placed theories in the lattice of equational theories (Q910421) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility (Q913835) (← links)
- Principal congruences of double demi-p-lattices (Q914710) (← links)
- Quasiidentities of finite unary algebras (Q915753) (← links)
- The congruence theory of closure properties of regular tree languages (Q917323) (← links)
- Countable embeddability skeletons of discriminator varieties (Q920130) (← links)
- Monotone clones and congruence modularity (Q922571) (← links)
- Tests for injectivity in finitely generated universal Horn classes (Q923074) (← links)
- On the number of discriminator varieties incomparable in countable epimorphism skeletons (Q923118) (← links)
- Rich countable epimorphism skeletons of discriminator varieties (Q923119) (← links)
- Semidirectly closed pseudovarieties of locally trivial semigroups (Q923132) (← links)
- Homomorphisms on lattices of continuous functions (Q931391) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)