Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic D Castaño, C Cimadamore, JPD Varela, L Rueda Fuzzy Sets and Systems 320, 40-59, 2017 | 33 | 2017 |
Completeness for monadic fuzzy logics via functional algebras D Castaño, C Cimadamore, JPD Varela, L Rueda Fuzzy Sets and Systems 407, 161-174, 2021 | 15 | 2021 |
Free-decomposability in varieties of pseudocomplemented residuated lattices D Castaño, JP Díaz Varela, A Torrens Studia Logica 98, 223-235, 2011 | 8 | 2011 |
MV-closures of Wajsberg hoops and applications M Abad, DN Castaño, JPD Varela Algebra universalis 64, 213-230, 2010 | 7 | 2010 |
Gentzen-style sequent calculus for semi-intuitionistic logic D Castaño, JM Cornejo Studia Logica 104 (6), 1245-1265, 2016 | 4 | 2016 |
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts D Castaño, JP Díaz Varela, A Torrens Soft Computing 15, 1449-1455, 2011 | 3 | 2011 |
Conditions for permutability of congruences in implication algebras DN Castaño, JP Díaz Varela Order 26, 245-254, 2009 | 3 | 2009 |
An algebraic study of S5-modal Gödel logic D Castaño, C Cimadamore, JP Díaz Varela, L Rueda Studia Logica 109 (5), 937-967, 2021 | 2 | 2021 |
Quasivarieties and congruence permutability of Łukasiewicz implication algebras M Campercholi, D Castaño, JP Díaz Varela Studia Logica 98, 267-283, 2011 | 2 | 2011 |
Algebraic functions in Łukasiewicz implication algebras M Campercholi, D Castaño, JP Díaz Varela International Journal of Algebra and Computation 26 (02), 223-247, 2016 | 1 | 2016 |
Regular elements and Kolmogorov translation in residuated lattices DN Castano, JP Díaz Varela, A Torrens Algebra universalis 73, 1-22, 2015 | 1 | 2015 |
Zariski‐type topology for implication algebras M Abad, D Castaño, JP Díaz Varela Mathematical Logic Quarterly 56 (3), 299-309, 2010 | 1 | 2010 |
Czelakowski’s Work on Quasivarieties M Campercholi, D Castaño Janusz Czelakowski on Logical Consequence, 203-232, 2024 | | 2024 |
The complexity of the Chinese Remainder Theorem M Campercholi, D Castaño, G Zigarán arXiv preprint arXiv:2307.02617, 2023 | | 2023 |
Comunicaciones de Lógica M Álvarez, D Castaño, JPD Varela XVII Congreso Dr. A. Monteiro 52, 40, 2023 | | 2023 |
Algebraic Expansions of Logics M Campercholi, DN Castaño, JPD Varela, J Gispert The Journal of Symbolic Logic 88 (1), 74-92, 2023 | | 2023 |
Varieties of pseudocomplemented Kleene algebras D Castaño, V Castaño, JPD Varela, MM Santis Mathematical Logic Quarterly 67 (1), 88-104, 2021 | | 2021 |
Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras M Campercholi, D Castaño, JPD Varela, J Gispert arXiv preprint arXiv:2006.09572, 2020 | | 2020 |
Subvarieties of Pseudocomplemented Kleene Algebras D Castaño, V Castaño, JPD Varela, MM Santis arXiv preprint arXiv:2006.09576, 2020 | | 2020 |
Implicative subreducts of MV-algebras: free and weakly projective objects DN Castaño Algebra universalis 78, 579-600, 2017 | | 2017 |