Diego Nicolás Castaño

According to our database, Diego Nicolás Castaño authored at least 13 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Algebraic Expansions of Logics.

Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela, Joan Gispert

J. Symb. Log., March, 2023

The complexity of the Chinese Remainder Theorem.

Miguel Campercholi, Diego Nicolás Castaño, Gonzalo Zigarán

CoRR, 2023

2021

An Algebraic Study of S5-Modal Gödel Logic.

Diego Nicolás Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda

Stud Logica, 2021

Varieties of pseudocomplemented Kleene algebras.

Diego Nicolás Castaño, Valeria Castaño, José Patricio Díaz Varela, Marcela Muñoz Santis

Math. Log. Q., 2021

Completeness for monadic fuzzy logics via functional algebras.

Diego Nicolás Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda

Fuzzy Sets Syst., 2021

2017

Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic.

Diego Nicolás Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda

Fuzzy Sets Syst., 2017

2016

Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.

Diego Nicolás Castaño, Juan Manuel Cornejo

Stud Logica, 2016

Algebraic functions in Łukasiewicz implication algebras.

Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela

Int. J. Algebra Comput., 2016

2011

Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts.

Diego Nicolás Castaño, José Patricio Díaz Varela, Antoni Torrens Torrell

Soft Comput., 2011

Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.

Diego Nicolás Castaño, J. Patricio Díaz Varela, Antoni Torrens Torrell

Stud Logica, 2011

Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.

Miguel Campercholi, Diego Nicolás Castaño, J. Patricio Díaz Varela

Stud Logica, 2011

2010

Zariski-type topology for implication algebras.

Manuel Abad, Diego Nicolás Castaño, J. Patricio Díaz Varela

Math. Log. Q., 2010

2009

Conditions for Permutability of Congruences in Implication Algebras.

Diego Nicolás Castaño, J. Patricio Díaz Varela

Order, 2009