The following pages link to (Q3934450):
Displayed 50 items.
- 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)
- Diagram induced properties of congruence lattices (Q829765) (← links)
- Metabelian groups: full-rank presentations, randomness and Diophantine problems (Q831196) (← 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)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Tree algebras and varieties of tree languages (Q884456) (← links)
- Disjunctive ideals of distributive lattices. (Q890153) (← links)
- Fuzzy inequational logic (Q892182) (← links)
- Lattice based communication P systems with applications in cluster analysis (Q894659) (← links)
- Chain conditions on BL-algebras (Q894676) (← links)
- Conservative constraint satisfaction re-revisited (Q896026) (← links)
- On the varieties generated by ai-semirings of order two. (Q896240) (← links)
- Classification of finitely based words in a class of words over a \(3\)-letter alphabet. (Q896250) (← links)
- Gödel spaces and perfect MV-algebras (Q898780) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words (Q903641) (← links)
- Quantum structures versus partially ordered groups (Q904470) (← links)
- Posets of finite functions (Q907250) (← 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)