Modal twist-structures over residuated lattices
We introduce a class of algebras, called twist-structures, whose members are built as special squares of an arbitrary residuated lattice. We show how our construction relates to and encompasses results obtained by several authors on the algebraic semantics of non-classical logics. We define a logic...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2014 |
| 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/24633 |
| Acceso en línea: | https://hdl.handle.net/20.500.14468/24633 |
| Access Level: | acceso abierto |
| Palabra clave: | 11 Lógica Twist-structure paraconsistent modal logic Nelson logic many-valued logic bilattice residuated lattice |
| Sumario: | We introduce a class of algebras, called twist-structures, whose members are built as special squares of an arbitrary residuated lattice. We show how our construction relates to and encompasses results obtained by several authors on the algebraic semantics of non-classical logics. We define a logic that corresponds to our twist-structures and show how to expand it with modal operators, obtaining a paraconsistent many-valued modal logic that generalizes existing work on modal expansions of both Belnap–Dunn logic and paraconsistent Nelson logic. |
|---|