Artículos de revistas
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
Fecha
2011-07Registro en:
Castaño, Diego Nicolás; Díaz Varela, José Patricio; Torrens, Antoni; Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices; Springer; Studia Logica; 98; 1; 7-2011; 223-235
0039-3215
1572-8730
Autor
Castaño, Diego Nicolás
Díaz Varela, José Patricio
Torrens, Antoni
Resumen
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.