Publicación: Modal twist-structures over residuated lattices
Cargando...
Fecha
2014-06
Autores
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editor
Oxford University Press
Resumen
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.
Descripción
Este es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Logic Journal of the IGPL, 22 (3), 2014, p. 440-457, está disponible en línea en el sitio web del editor: https://doi.org/10.1093/jigpal/jzt043
This is the accepted manuscript of the article. The registered version was first published in Logic Journal of the IGPL, 22 (3), 2014, p. 440-457, is available online at the publisher's website: https://doi.org/10.1093/jigpal/jzt043
Categorías UNESCO
Palabras clave
Twist-structure, paraconsistent modal logic, Nelson logic, many-valued logic, bilattice, residuated lattice
Citación
Umberto Rivieccio and Hiroakira Ono, Modal twist-structures over residuated lattices. Logic Journal of the IGPL, 22 (3), 2014, p. 440-457; https://doi.org/10.1093/jigpal/jzt043
Centro
Facultades y escuelas::Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia