J. Patricio Díaz Varela

19 papers Journal 19
YearRankTypeTitle / Venue / Authors
2024 J jnl
Functional description of free algebras in subvarieties of BL-algebras.
Fuzzy Sets Syst.
J. Patricio Díaz Varela, Noemí Lubomirsky
2012 J jnl
Free-decomposability in varieties of semi-Heyting algebras.
Math. Log. Q.
Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela
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
Monadic MV-algebras are Equivalent to Monadic
Stud Logica
Cecilia Cimadamore, J. Patricio Díaz Varela
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
2011 J jnl
Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras.
Stud Logica
J. Patricio Díaz Varela, Blanca Fernanda López Martinolich
2010 J jnl
The variety generated by semi-Heyting chains.
Soft Comput.
Manuel Abad, Juan Manuel Cornejo, 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
2009 J jnl
Factor congruences in
Soft Comput.
Manuel Abad, J. Patricio Díaz Varela
2008 J jnl
Free Lukasiewicz implication algebras.
Arch. Math. Log.
J. Patricio Díaz Varela
2007 J jnl
The Lattice of Subvarieties of Monadic n-valued Loukasiewicz-Moisil Algebras.
J. Multiple Valued Log. Soft Comput.
Manuel Abad, J. Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz
2006 J jnl
Decomposability of free Lukasiewicz implication algebras.
Arch. Math. Log.
J. Patricio Díaz Varela, Antoni Torrens Torrell
2006 J jnl
Representation of Cubic Lattices by Symmetric Implication Algebras.
Order
Manuel Abad, J. Patricio Díaz Varela
2003 J jnl
Boolean Algebras with a Distinguished Automorphism.
Reports Math. Log.
Manuel Abad, J. Patricio Díaz Varela, Marta A. Zander
2001 J jnl
On subvarieties of symmetric closure algebras.
Ann. Pure Appl. Log.
J. Patricio Díaz Varela
2000 J jnl
Free
Discret. Math.
Manuel Abad, J. Patricio Díaz Varela
2000 J jnl
Varieties of Three-Valued Heyting Algebras with a Quantifier.
Stud Logica
Manuel Abad, J. Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz
1999 J jnl
Free double Ockham algebras.
J. Appl. Non Class. Logics
Manuel Abad, J. Patricio Díaz Varela