The following pages link to José Patricio Díaz Varela (Q422483):
Displaying 47 items.
- (Q186030) (redirect page) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- The variety generated by semi-Heyting chains (Q432182) (← links)
- MV-closures of Wajsberg hoops and applications (Q616116) (← links)
- Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit (Q763298) (← 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)
- Conditions for permutability of congruences in implication algebras (Q841165) (← links)
- An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field (Q861578) (← links)
- Decomposability of free Łukasiewicz implication algebras (Q862351) (← links)
- Representation of cubic lattices by symmetric implication algebras (Q862981) (← links)
- Free Łukasiewicz implication algebras (Q937211) (← links)
- Topological representation for monadic implication algebras (Q1040206) (← links)
- On cyclic symmetric Heyting algebras. (Q1406587) (← links)
- Varieties of three-valued Heyting algebras with a quantifier (Q1582308) (← links)
- Free \(Q\)-distributive lattices from meet semilattices (Q1586754) (← links)
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (Q1697516) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- Regular elements and Kolmogorov translation in residuated lattices (Q2257976) (← links)
- Semi-Heyting algebras term-equivalent to Gödel algebras (Q2376916) (← links)
- Factor congruences in BCK-algebras (Q2391226) (← links)
- Monadic MV-algebras. I: A study of subvarieties (Q2449451) (← links)
- Monadic MV-algebras. II: Monadic implicational subreducts (Q2450844) (← links)
- Closure Łukasiewicz algebras (Q2496099) (← links)
- Decomposability of free Tarski algebras (Q2496153) (← links)
- Equivalence between varieties of square root rings and Boolean algebras with a distinguished automorphism (Q2497452) (← links)
- Topological representation for implication algebras (Q2577680) (← links)
- Algebraic functions in Łukasiewicz implication algebras (Q2799121) (← links)
- (Q2888154) (← links)
- (Q3086712) (← links)
- Free algebras in the variety of three-valued closure algebras (Q3146371) (← links)
- (Q3179717) (← links)
- Zariski-type topology for implication algebras (Q3566948) (← links)
- (Q3605559) (← links)
- (Q4212245) (← links)
- (Q4225604) (← links)
- (Q4352421) (← links)
- Free Double Ockham Algebras (Q4443426) (← links)
- (Q4465173) (← links)
- (Q4801736) (← links)
- (Q5439799) (← links)
- (Q5441064) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
- On subvarieties of symmetric closure algebras (Q5935988) (← links)
- Varieties of pseudocomplemented Kleene algebras (Q6047673) (← links)
