VLDB 2026 Research / reviewers in the wild / expert
J. Patricio Díaz Varela
dblp:68/4615 · also José Patricio Díaz Varela
· DBLP profile ↗
11ranked-venue papers
2as first author
6since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 8 · 1 first-author · 4 since 2021Theory of computation · 3 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Strong standard completeness theorems for S5-modal Łukasiewicz logics
Diego Nicolás Castaño, J. Patricio Díaz Varela, Gabriel Savoy |
Ann. Pure Appl. Log. | 2 |
| 2025 | Terms that define nuclei on residuated lattices: A case study of BL-algebras
Diego Nicolás Castaño, J. Patricio Díaz Varela |
Fuzzy Sets Syst. | 3 |
| 2025 | Strong completeness for the predicate logic of the continuous t-norms
Diego Nicolás Castaño, J. Patricio Díaz Varela, Gabriel Savoy |
Fuzzy Sets Syst. | 2 |
| 2024 | Functional description of free algebras in subvarieties of BL-algebras
J. Patricio Díaz Varela, Noemí Lubomirsky |
Fuzzy Sets Syst. | 1 |
| 2023 | Algebraic Expansions of LogicsabstractAbstract An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists ! \mathop{\boldsymbol {\bigwedge }}\limits p = q$ . For a logic L algebraized by a quasivariety $\mathcal {Q}$ we show that the AE-subclasses of $\mathcal {Q}$ correspond to certain natural expansions of L, which we call algebraic expansions. These turn out to be a special case of the expansions by implicit connectives studied by X. Caicedo. We proceed to characterize all the AE-subclasses of abelian $\ell $ -groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics. Miguel Campercholi, Diego Nicolás Castaño, J. Patricio Díaz Varela, Joan Gispert |
J. Symb. Log. | 3 |
| 2021 | Completeness for monadic fuzzy logics via functional algebras
Diego Nicolás Castaño, Cecilia Cimadamore, J. Patricio Díaz Varela, Laura A. Rueda |
Fuzzy Sets Syst. | 3 |
| 2017 | Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic
Diego Nicolás Castaño, Cecilia Cimadamore, J. Patricio Díaz Varela, Laura A. Rueda |
Fuzzy Sets Syst. | 3 |
| 2011 | Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
Diego Nicolás Castaño, J. Patricio Díaz Varela, Antoni Torrens Torrell |
Soft Comput. | 2 |
| 2010 | The variety generated by semi-Heyting chains
Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela |
Soft Comput. | 3 |
| 2009 | Factor congruences in BCK -algebras
Manuel Abad, J. Patricio Díaz Varela |
Soft Comput. | 2 |
| 2001 | On subvarieties of symmetric closure algebras
J. Patricio Díaz Varela |
Ann. Pure Appl. Log. | 1 |