J. Patricio Díaz Varela

According to our database, J. Patricio Díaz Varela authored at least 29 papers between 1999 and 2024.

Collaborative distances:

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

2024

Functional description of free algebras in subvarieties of BL-algebras.

J. Patricio Díaz Varela, Noemí Lubomirsky

Fuzzy Sets Syst., 2024

2023

Algebraic Expansions of Logics.

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

J. Symb. Log., March, 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

Algebraic functions in Łukasiewicz implication algebras.

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

Int. J. Algebra Comput., 2016

2013

Semi-Heyting Algebras Term-equivalent to Gödel Algebras.

Manuel Abad, Juan Manuel Cornejo, José Patricio Díaz Varela

Order, 2013

2012

Free-decomposability in varieties of semi-Heyting algebras.

Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela

Math. Log. Q., 2012

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

Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras.

J. Patricio Díaz Varela, Blanca Fernanda López Martinolich

Stud Logica, 2011

Monadic MV-algebras are Equivalent to Monadic <i>ℓ</i>-groups with Strong Unit.

Cecilia Cimadamore, J. Patricio Díaz Varela

Stud Logica, 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

The Variety of Semi-Heyting Algebras Satisfying the equation (0 → 1)^* v (0 → 1)^** ≈ 1.

Manuel Abad, Juan Manuel Cornejo, José Patricio Díaz Varela

Reports Math. Log., 2011

2010

The variety generated by semi-Heyting chains.

Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela

Soft Comput., 2010

Zariski-type topology for implication algebras.

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

Math. Log. Q., 2010

2009

Factor congruences in <i>BCK</i> -algebras.

Manuel Abad, J. Patricio Díaz Varela

Soft Comput., 2009

Conditions for Permutability of Congruences in Implication Algebras.

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

Order, 2009

2008

Free Lukasiewicz implication algebras.

J. Patricio Díaz Varela

Arch. Math. Log., 2008

2007

Free three-valued Closure Lukasiewicz Algebras.

Manuel Abad, José Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz

Reports Math. Log., 2007

The Lattice of Subvarieties of Monadic n-valued Loukasiewicz-Moisil Algebras.

Manuel Abad, J. Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz

J. Multiple Valued Log. Soft Comput., 2007

2006

Representation of Cubic Lattices by Symmetric Implication Algebras.

Manuel Abad, J. Patricio Díaz Varela

Order, 2006

Decomposability of free Lukasiewicz implication algebras.

J. Patricio Díaz Varela, Antoni Torrens Torrell

Arch. Math. Log., 2006

2003

Boolean Algebras with a Distinguished Automorphism.

Manuel Abad, J. Patricio Díaz Varela, Marta A. Zander

Reports Math. Log., 2003

2001

On subvarieties of symmetric closure algebras.

J. Patricio Díaz Varela

Ann. Pure Appl. Log., 2001

2000

Varieties of Three-Valued Heyting Algebras with a Quantifier.

Manuel Abad, J. Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz

Stud Logica, 2000

Free <i>Q</i>-distributive lattices from meet semilattices.

Manuel Abad, J. Patricio Díaz Varela

Discret. Math., 2000

1999

Free double Ockham algebras.

Manuel Abad, J. Patricio Díaz Varela

J. Appl. Non Class. Logics, 1999