dblp.uni-trier.dewww.uni-trier.de

J. Patricio Díaz Varela

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEJ. Patricio Díaz Varela: Free Lukasiewicz implication algebras. Arch. Math. Log. 47(1): 25-33 (2008)
2006
7EEJ. Patricio Díaz Varela, Antoni Torrens Torrell: Decomposability of free Lukasiewicz implication algebras. Arch. Math. Log. 45(8): 1011-1020 (2006)
6EEManuel Abad, J. Patricio Díaz Varela: Representation of Cubic Lattices by Symmetric Implication Algebras. Order 23(2-3): 173-178 (2006)
2003
5EEManuel Abad, J. Patricio Díaz Varela, Marta A. Zander: Boolean Algebras with a Distinguished Automorphism. Reports on Mathematical Logic 37: 101-112 (2003)
2001
4 J. Patricio Díaz Varela: On subvarieties of symmetric closure algebras. Ann. Pure Appl. Logic 108(1-3): 137-152 (2001)
2000
3EEManuel Abad, J. Patricio Díaz Varela: Free Q-distributive lattices from meet semilattices. Discrete Mathematics 224(1-3): 1-14 (2000)
2 Manuel Abad, J. Patricio Díaz Varela, L. A. Rueda, A. M. Suardíaz: Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65(2): 181-198 (2000)
1999
1 Manuel Abad, J. Patricio Díaz Varela: Free double Ockham algebras. Journal of Applied Non-Classical Logics 9(1): (1999)

Coauthor Index

1Manuel Abad [1] [2] [3] [5] [6]
2L. A. Rueda [2]
3A. M. Suardíaz [2]
4Antoni Torrens Torrell [7]
5Marta A. Zander [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)