DÍAZ VARELA JOSÉ PATRICIO; NOEMÍ LUBOMIRSKY

Functional description of free algebras in subvarieties of BL-algebras

FUZZY SETS AND SYSTEMS; Lugar: Amsterdam; Año: 2024 vol. 480

CAMPERCHOLI MIGUEL; CASTAÑO, DIEGO NICOLÁS; DÍAZ VARELA, JOSÉ PATRICIO; GISPERT, JOAN

Algebraic Expansions of Logics

JOURNAL OF SYMBOLIC LOGIC, THE; Año: 2023 vol. 88 p. 74 - 92

CASTAÑO, DIEGO NICOLÁS; CIMADAMORE, CECILIA; DÍAZ VARELA, JOSÉ PATRICIO; RUEDA, LAURA

Completeness for monadic fuzzy logics via functional algebras

INTERNATIONAL JOURNAL ON FUZZY SETS AND SYSTEMS; Año: 2021 vol. 407 p. 161 - 174

CASTAÑO, DIEGO; CASTAÑO, VALERIA; VARELA, JOSÉ PATRICIO DÍAZ; SANTIS, MARCELA MUÑOZ

Varieties of pseudocomplemented Kleene algebras

MATHEMATICAL LOGIC QUARTERLY; Año: 2021 vol. 67 p. 88 - 104

CASTAÑO, DIEGO; CIMADAMORE, CECILIA; DÍAZ VARELA, JOSÉ PATRICIO; RUEDA, LAURA

An Algebraic Study of S5-Modal Gödel Logic

STUDIA LOGICA; Año: 2021 vol. 109 p. 937 - 967

CASTAÑO, DIEGO NICOLÁS; CIMADAMORE, CECILIA; DÍAZ VARELA, JOSÉ PATRICIO; RUEDA, LAURA

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

FUZZY SETS AND SYSTEMS; Lugar: Amsterdam; Año: 2017 vol. 320 p. 40 - 59

DÍAZ VARELA JOSÉ PATRICIO; CASTAÑO DIEGO; CAMPERCHOLI MIGUEL

Algebraic functions in Lukasiewicz implication algebras

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION; Lugar: London, UK; Año: 2016 vol. 26 p. 223 - 247

DÍAZ VARELA JOSÉ PATRICIO; CIMADAMORE CECILIA

Monadic Wajsberg Hops

REVISTA DE LA UNIóN MATEMáTICA ARGENTINA; Lugar: Bahia Blanca; Año: 2016 vol. 57 p. 63 - 83

CASTAÑO DIEGO; DÍAZ VARELA JOSÉ PATRICIO; TORRENS ANTONI

Regular elements snd Kolmogorov traslation in residuated lattices

ALGEBRA UNIVERSALIS; Lugar: BASEL; Año: 2015 vol. 73 p. 1 - 22

DÍAZ VARELA JOSÉ PATRICIO; CIMADAMORE CECILIA

Monadic MV-algebras I: a study of subvarieties

ALGEBRA UNIVERSALIS; Lugar: BASEL; Año: 2014 vol. 71 p. 71 - 100

DÍAZ VARELA JOSÉ PATRICIO; CIMADAMORE CECILIA

Monadic MV-algebras II: Monadic implicational subreducts

ALGEBRA UNIVERSALIS; Lugar: BASEL; Año: 2014 vol. 71 p. 201 - 219

ABA MANUEL; CORNEJO JUAN MANUEL; DÍAZ VARELA JOSÉ PATRICIO

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

ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS; Lugar: Berlin; Año: 2013 vol. 30 p. 625 - 642

ABA MANUEL; CORNEJO JUAN MANUEL; DÍAZ VARELA JOSÉ PATRICIO

Free-decomposability in Varieties of Semi-Heyting Algebras

MATHEMATICAL LOGIC QUARTERLY; Año: 2012 vol. 58 p. 168 - 176

CIMADAMORE CECILIA; DÍAZ VARELA JOSÉ PATRICIO

Monadic MV-algebras are Equivalent to Monadic

STUDIA LOGICA; Lugar: Heilderberg; Año: 2011 vol. 98 p. 175 - 201

DÍAZ VARELA JOSÉ PATRICIO; LOPEZ MARTINOLICH FERNANDA

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

STUDIA LOGICA; Lugar: Heilderberg; Año: 2011 vol. 98 p. 307 - 330

CASTAÑO DIEGO; DÍAZ VARELA JOSÉ PATRICIO; TORRENS ANTONI

Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices

STUDIA LOGICA; Lugar: Heilderberg; Año: 2011 vol. 98 p. 223 - 235

ABAD MANUEL; CORNEJO JUAN MANUEL; DÍAZ VARELA JOSÉ PATRICIO

The Variety of Semi-Heyting Algebras Satisfying the Equation (0 -->1)*V(0-->1)**=1.

Reports on mathematical logic; Lugar: KRAKOW ; Año: 2011 vol. 46 p. 75 - 90

ABAD MANUEL; CORNEJO JUAN MANUEL; DÍAZ VARELA JOSÉ PATRICIO

The variety generated by semi-Heyting chains

SOFT COMPUTING - (Print); Lugar: Heilderberg; Año: 2011 vol. 15 p. 721 - 728

CAMPERCHOLI MIGUEL; CASTAÑO DIEGO; DÍAZ VARELA JOSÉ PATRICIO

Quasivarieties and Congruence Permutability of Lukasiewicz implication algebras

STUDIA LOGICA; Lugar: Heilderberg; Año: 2011 vol. 98 p. 267 - 283

CASTAÑO DIEGO; DÍAZ VARELA JOSÉ PATRICIO; TORRENS ANTONI

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

SOFT COMPUTING - (Print); Lugar: Heilderberg; Año: 2010 vol. 15 p. 1449 - 1455

ABAD MANUEL; CASTAÑO DIEGO; DÍAZ VARELA JOSÉ PATRICIO

MV-closures of Wajsberg hoops and applications

ALGEBRA UNIVERSALIS; Año: 2010 vol. 64 p. 213 - 230

CASTAÑO DIEGO; DÍAZ VARELA JOSÉ PATRICIO

Conditions for permutability of congruences in implication algebras.

Order. A Journal on the Theory of Ordered Sets and its Applications; Lugar: AH Dordrecht The Netherlands ; Año: 2009 vol. 26 p. 245 - 254

ABAD MANUEL; CASTAÑO DIEGO; DÍAZ VARELA JOSÉ PATRICIO

Zariski-type topology for implication algebras

MATHEMATICAL LOGIC QUARTERLY; Lugar: Heilderberg; Año: 2009 vol. 56 p. 299 - 309

ABA MANUEL; CIMADAMORE CECILIA; DÍAZ VARELA JOSÉ PATRICIO

Topological representation for monadic implication algebras

CENTRAL EUROPEAN JOURNAL OF MATHEMATICS - (Print); Lugar: Varsovia; Año: 2009 vol. 7 p. 299 - 309

DÍAZ VARELA JOSÉ PATRICIO

Free Lukasiewicz implication algebras

ARCHIVE FOR MATHEMATICAL LOGIC - (Print); Año: 2008 vol. 47 p. 25 - 33

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO

Factor Congruences in BCK algebras

Soft Computing; Año: 2008 vol. 13 p. 1003 - 1012

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO; RUEDA LAURA; SUARDIAZ ANA

Free three-valued closure algebras

Reports on Mathematical Logic; Lugar: KRAKOW ; Año: 2007 vol. 42 p. 3 - 17

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO; RUEDA LAURA; SUARDIAZ ANA

The Lattice of Subvarieties of Monadic Lukasiewicz Algebras

Journal of Multiple-Valued Logic and Soft Computing; Lugar: Philadelphia; Año: 2007 vol. 13 p. 79 - 88

DÍAZ VARELA JOSÉ PATRICIO

Equivalence between varieties of square root rings and Boolean algebras with a distinguished automorphism

JOURNAL OF ALGEBRA; Año: 2006 p. 190 - 197

DÍAZ VARELA JOSÉ PATRICIO; TORRENS ANTONI

Decomposability of free Lukasiewicz implication algebras

ARCHIVE FOR MATHEMATICAL LOGIC - (Print); Año: 2006 p. 1011 - 1020

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO

Representations of cubic lattices by symmetric implication algebras

ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS; Lugar: Dordrecht,Netherlamds ; Año: 2006 p. 173 - 178

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO; LOPEZ MARTINOLICH FERNANDA; VANICOLA MARÍA DEL CARMEN; ZANDER MARTA

An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

Central European Journal of Mathematics; Lugar: Warsaw Poland ; Año: 2006 vol. 4 p. 547 - 561

ABAD MANUEL; CIMADAMORE CECILIA; DÍAZ VARELA JOSÉ PATRICIO; RUEDA LAURA; SUARDIAZ ANA

Closure Lukasiewicz Algebras

Central European Journal of Mathematics; Lugar: Warsaw, Poland; Año: 2005 vol. 3 p. 215 - 227

ABAD MANUEL; DIAZ VARELA JOSE PATRICIO; TORRENS ANTONI

Topological representation for implication algebras

ALGEBRA UNIVERSALIS; Lugar: Basel Switzerland ; Año: 2004 vol. 52 p. 39 - 48

DÍAZ VARELA JOSÉ PATRICIO; TORRENS ANTONI

Decomposability of free Tarski algebras

ALGEBRA UNIVERSALIS; Año: 2003 vol. 50 p. 1 - 5

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO; ZANDER MARTA

BOOLEAN ALGEBRAS WITH A DISTINGUISHED AUTOMORPHISM

Reports on Mathematical Logic; Lugar: Kraków Poland ; Año: 2003 vol. 37 p. 101 - 112

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO

VARIETIES AND QUASIVARIETIES OF MONADIC TARSKI ALGEBRAS

Mathematicae Japonicae; Lugar: Osaka-Japon; Año: 2002 vol. 6 p. 451 - 464

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO

FREE ALGEBRAS IN THE VARIETY OF THREEVALUED CLOSURE ALGEBRAS

JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY; Año: 2001 vol. 72 p. 181 - 197

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO; FERNANDEZ ALICIA; MEZKE NELIDA; RUEDA LAURA

ON CYCLIC SYMMETRIC HEYTING ALGEBRAS

PORTUGALIAE MATHEMATICA; Lugar: Lisbon Portugal ; Año: 2001 vol. 58 p. 389 - 406

DÍAZ VARELA JOSÉ PATRICIO

On subvarieties of symmetric closure algebras

ANNALS OF PURE AND APPLIED LOGIC; Año: 2001 vol. 108 p. 137 - 152

ABAD MANUEL; DíAZ VARELA JOSé PATRICIO; RUEDA LAURA

Varieties of Three-valued Heyting Algebras with a Quantifier

STUDIA LOGICA; Lugar: Netherlands.; Año: 2000 vol. 65 p. 181 - 198

ABAD MANUEL; DÍAZ VARELA JOSÉ PATRICIO

Free Q-distributive lattices from meet semilattices

DISCRETE MATHEMATICS; Lugar: Amsterdam The Netherlands ; Año: 2000 vol. 224 p. 1 - 14

ABAD, MANUEL; DÍAZ VARELA JOSÉ PATRICIO

Free double ockham algebras

JOURNAL OF APPLIED NON-CLASSICAL LOGICS; Año: 1999 vol. 9 p. 173 - 183

DÍAZ VARELA JOSÉ PATRICIO; ABAD MANUEL; ROBERTO CIGNOLI

K-Post algebras of order n

MATHEMATICA JAPONICA; Año: 1998 vol. 48 p. 267 - 273

DÍAZ VARELA JOSÉ PATRICIO

Free Post n-valued algebras over a partially ordered set

BOLETIM DA SOCIEDADE PARANAENSE DE MATEMáTICA; Año: 1996 vol. 16 p. 109 - 119