The following pages link to Diego N. Castaño (Q616115):
Displaying 20 items.
- (Q422482) (redirect page) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- MV-closures of Wajsberg hoops and applications (Q616116) (← links)
- Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- Conditions for permutability of congruences in implication algebras (Q841165) (← links)
- Implicative subreducts of MV-algebras: free and weakly projective objects (Q1689298) (← 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)
- Algebraic functions in Łukasiewicz implication algebras (Q2799121) (← links)
- Zariski-type topology for implication algebras (Q3566948) (← links)
- (Q5283717) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
- Varieties of pseudocomplemented Kleene algebras (Q6047673) (← links)
- Strong standard completeness theorems for S5-modal Łukasiewicz logics (Q6658082) (← links)
- Strong completeness for the predicate logic of the continuous t-norms (Q6739856) (← links)
- The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$ (Q6753799) (← links)
- Terms that define nuclei on residuated lattices: a case study of BL-algebras (Q6760029) (← links)
