Diego Nicolás Castaño

16 papers Journal 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
Strong completeness for the predicate logic of the continuous t-norms.
Fuzzy Sets Syst.
Diego Nicolás Castaño, José Patricio Díaz Varela, Gabriel Savoy
2025 J jnl
Strong standard completeness theorems for S5-modal Łukasiewicz logics.
Ann. Pure Appl. Log.
Diego Nicolás Castaño, José Patricio Díaz Varela, Gabriel Savoy
2025 J jnl
Terms that define nuclei on residuated lattices: A case study of BL-algebras.
Fuzzy Sets Syst.
Sebastián Buss, Diego Nicolás Castaño, José Patricio Díaz Varela
2023 J jnl
Algebraic Expansions of Logics.
J. Symb. Log.
Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela, Joan Gispert
2023 J jnl
The complexity of the Chinese Remainder Theorem.
CoRR
Miguel Campercholi, Diego Nicolás Castaño, Gonzalo Zigarán
2021 J jnl
An Algebraic Study of S5-Modal Gödel Logic.
Stud Logica
Diego Nicolás Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda
2021 J jnl
Completeness for monadic fuzzy logics via functional algebras.
Fuzzy Sets Syst.
Diego Nicolás Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda
2021 J jnl
Varieties of pseudocomplemented Kleene algebras.
Math. Log. Q.
Diego Nicolás Castaño, Valeria Castaño, José Patricio Díaz Varela, Marcela Muñoz Santis
2017 J jnl
Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic.
Fuzzy Sets Syst.
Diego Nicolás Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda
2016 J jnl
Algebraic functions in Łukasiewicz implication algebras.
Int. J. Algebra Comput.
Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela
2016 J jnl
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.
Stud Logica
Diego Nicolás Castaño, Juan Manuel Cornejo
2011 J jnl
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.
Stud Logica
Diego Nicolás Castaño, J. Patricio Díaz Varela, Antoni Torrens Torrell
2011 J jnl
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts.
Soft Comput.
Diego Nicolás Castaño, José Patricio Díaz Varela, Antoni Torrens Torrell
2011 J jnl
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.
Stud Logica
Miguel Campercholi, Diego Nicolás Castaño, J. Patricio Díaz Varela
2010 J jnl
Zariski-type topology for implication algebras.
Math. Log. Q.
Manuel Abad, Diego Nicolás Castaño, J. Patricio Díaz Varela
2009 J jnl
Conditions for Permutability of Congruences in Implication Algebras.
Order
Diego Nicolás Castaño, J. Patricio Díaz Varela