The following pages link to (Q3934450):
Displayed 50 items.
- Finite basis problem for 2-testable monoids. (Q632275) (← links)
- Nearlattices with an overriding operation (Q633219) (← links)
- On the finite basis problem for the monoids of triangular Boolean matrices. (Q634761) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Congruence openings of additive Green's relations on a semiring. (Q637601) (← links)
- Henriksen and Isbell on \(f\)-rings (Q639698) (← links)
- Conditional geometric scales of discriminator varieties (Q642057) (← links)
- Axiomatizability by \({\forall \exists!}\)-sentences (Q647342) (← links)
- A logical characterization of coherence for imprecise probabilities (Q648377) (← links)
- State morphism MV-algebras (Q648387) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- On the variety generated by all semigroups of order three. (Q652165) (← links)
- Axiomatizations of quasi-Lovász extensions of pseudo-Boolean functions (Q657823) (← links)
- Cross varieties of aperiodic monoids with central idempotents. (Q658576) (← links)
- Compatible relations on Heyting chains (Q664307) (← 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)
- A sufficient condition for the non-finite basis property of semigroups. (Q691030) (← 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)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Joins of subalgebras and normals in 0-regular varieties (Q745711) (← links)
- The finite basis problem for Kauffman monoids. (Q745715) (← links)
- Many for the price of one duality principle for affine sets (Q748704) (← links)
- A note on irredundant sets (Q751685) (← links)
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (Q751686) (← links)
- Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- Resolution of algebraic systems of equations in the variety of cyclic Post algebras (Q763314) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← 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)