Diego Nicolás Castaño

dblp:94/7602 · DBLP profile ↗
← Back
7ranked-venue papers
5as first author
5since 2021 · last 2025
0000-0002-2061-7273ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 5 · 4 first-author · 3 since 2021Theory of computation · 2 · 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.1
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.2
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.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.2
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.1
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.1
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.1