INVESTIGADORES
DIAZ VARELA Jose Patricio
artículos
Título:
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
Autor/es:
CASTAÑO DIEGO; DÍAZ VARELA JOSÉ PATRICIO; TORRENS ANTONI
Revista:
STUDIA LOGICA
Editorial:
Springuer
Referencias:
Lugar: Heilderberg; Año: 2011 vol. 98 p. 223 - 235
ISSN:
0039-3215
Resumen:
Abstract. In this paper we prove that the free pseudocomplemented residuated lattices
are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity
¬x ∨¬¬x = 1. Some applications are given
