Diego N. Castaño

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 6

Top Topics

Datalog Queries

Clifford Algebra

Top Venues

Fuzzy Sets Syst.

Int. J. Algebra Comput.

Publications

Diego N. Castaño, Valeria Castaño, José Patricio Díaz Varela, Marcela Muñoz Santis
Varieties of pseudocomplemented Kleene algebras. Math. Log. Q. 67 (1) (2021)
Diego N. Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda
An Algebraic Study of S5-Modal Gödel Logic. Stud Logica 109 (5) (2021)
Diego N. Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda
Completeness for monadic fuzzy logics via functional algebras. Fuzzy Sets Syst. 407 (2021)
Diego N. Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda
Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic. Fuzzy Sets Syst. 320 (2017)
Miguel Campercholi, Diego N. Castaño, José Patricio Díaz Varela
Algebraic functions in Łukasiewicz implication algebras. Int. J. Algebra Comput. 26 (2) (2016)
Diego N. Castaño, Juan Manuel Cornejo
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic. Stud Logica 104 (6) (2016)
Diego N. Castaño, J. Patricio Díaz Varela, Antoni Torrens Torrell
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices. Stud Logica 98 (1-2) (2011)
Miguel Campercholi, Diego N. Castaño, J. Patricio Díaz Varela
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras. Stud Logica 98 (1-2) (2011)
Diego N. Castaño, José Patricio Díaz Varela, Antoni Torrens Torrell
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts. Soft Comput. 15 (7) (2011)
Manuel Abad, Diego N. Castaño, J. Patricio Díaz Varela
Zariski-type topology for implication algebras. Math. Log. Q. 56 (3) (2010)
Diego N. Castaño, J. Patricio Díaz Varela
Conditions for Permutability of Congruences in Implication Algebras. Order 26 (3) (2009)