J. Patricio Díaz Varela

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 1

Top Topics

Semantic Description

Functional Properties

Top Venues

Fuzzy Sets Syst.

Publications

J. Patricio Díaz Varela, Noemí Lubomirsky
Functional description of free algebras in subvarieties of BL-algebras. Fuzzy Sets Syst. 480 (2024)
Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela
Free-decomposability in varieties of semi-Heyting algebras. Math. Log. Q. 58 (3) (2012)
Cecilia Cimadamore, J. Patricio Díaz Varela
-groups with Strong Unit. Stud Logica 98 (1-2) (2011)
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)
J. Patricio Díaz Varela, Blanca Fernanda López Martinolich
Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras. Stud Logica 98 (1-2) (2011)
Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela
The variety generated by semi-Heyting chains. Soft Comput. 15 (4) (2010)
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)
Manuel Abad, J. Patricio Díaz Varela
-algebras. Soft Comput. 13 (10) (2009)
J. Patricio Díaz Varela
Free Lukasiewicz implication algebras. Arch. Math. Log. 47 (1) (2008)
Manuel Abad, J. Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz
The Lattice of Subvarieties of Monadic n-valued Loukasiewicz-Moisil Algebras. J. Multiple Valued Log. Soft Comput. 13 (1-2) (2007)
J. Patricio Díaz Varela, Antoni Torrens Torrell
Decomposability of free Lukasiewicz implication algebras. Arch. Math. Log. 45 (8) (2006)
Manuel Abad, J. Patricio Díaz Varela
Representation of Cubic Lattices by Symmetric Implication Algebras. Order 23 (2-3) (2006)
Manuel Abad, J. Patricio Díaz Varela, Marta A. Zander
Boolean Algebras with a Distinguished Automorphism. Reports Math. Log. 37 (2003)
J. Patricio Díaz Varela
On subvarieties of symmetric closure algebras. Ann. Pure Appl. Log. 108 (1-3) (2001)
Manuel Abad, J. Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz
Varieties of Three-Valued Heyting Algebras with a Quantifier. Stud Logica 65 (2) (2000)
Manuel Abad, J. Patricio Díaz Varela
-distributive lattices from meet semilattices. Discret. Math. 224 (1-3) (2000)
Manuel Abad, J. Patricio Díaz Varela
Free double Ockham algebras. J. Appl. Non Class. Logics 9 (1) (1999)