J. Patricio Díaz Varela

dblp:68/4615 · also José Patricio Díaz Varela · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
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 Logics
abstract
Abstract 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