Quasi-Nelson algebras and fragments
The variety of quasi-Nelson algebras (QNAs) has been recently introduced and characterised in several equivalent ways: among others, as (1) the class of bounded commutative integral (but non-necessarily involutive) residuated lattices satisfying the Nelson identity, as well as (2) the class of (0, 1...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2021 |
| País: | España |
| Institución: | Universidad Nacional de Educación a Distancia |
| Repositorio: | e-spacio. Repositorio Institucional de la UNED |
| Idioma: | inglés |
| OAI Identifier: | oai:e-spacio.uned.es:20.500.14468/30678 |
| Acceso en línea: | https://hdl.handle.net/20.500.14468/30678 |
| Access Level: | acceso abierto |
| Palabra clave: | 11 Lógica 72 Filosofía (quasi-)Nelson algebras (quasi-)Kleene algebras weakly pseudo-complemented twist-structures |
| Sumario: | The variety of quasi-Nelson algebras (QNAs) has been recently introduced and characterised in several equivalent ways: among others, as (1) the class of bounded commutative integral (but non-necessarily involutive) residuated lattices satisfying the Nelson identity, as well as (2) the class of (0, 1)-congruence orderable commutative integral residuated lattices. Logically, QNAs are the algebraic counterpart of quasi-Nelson logic, which is the (algebraisable) extension of the substructural logic ℱℒew (Full Lambek calculus with Exchange and Weakening) by the Nelson axiom. In the present paper, we collect virtually all the results that are currently known on QNAs, including solutions to certain questions left open in earlier publications. Furthermore, we extend our study to some subreducts of QNAs, that is, classes of algebras corresponding to fragments of the algebraic language obtained by eliding either the implication or the lattice operations. |
|---|