Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
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.
| Authors: | , , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2011 |
| Country: | Argentina |
| Institution: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repository: | CONICET Digital (CONICET) |
| Language: | English |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/15465 |
| Online Access: | http://hdl.handle.net/11336/15465 |
| Access Level: | Open access |
| Keyword: | Pseudocomplemented Residuated Lattices Free Algebras Decomposability Stone Algebras Boolean Elements https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Summary: | 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. |
|---|