Publicación: Bilattice Logic Properly Displayed
Fecha
2019-05-15
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
Elsevier
Resumen
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the multi-type methodology in the design of display calculi.
Descripción
Este es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Fuzzy Sets and Systems, Volume 363, 2019, Pages 138-155, ISSN 0165-0114, está disponible en línea en el sitio web del editor: https://doi.org/10.1016/j.fss.2018.05.007
This is the accepted manuscript of the article. The copyrighted version was first published in Fuzzy Sets and Systems, Volume 363, 2019, Pages 138-155, ISSN 0165-0114, is available online at the publisher's website: https://doi.org/10.1016/ j.fss.2018.05.007
Categorías UNESCO
Palabras clave
Non-classical logics, bilattice logic, many-valued logics, substructural logics, algebraic proof theory, sequent calculi, cut elimination, display calculi, multi-type calculi
Citación
Giuseppe Greco, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio, Bilattice logic properly displayed, Fuzzy Sets and Systems, Volume 363, 2019, Pages 138-155, ISSN 0165-0114, https://doi.org/10.1016/j.fss.2018.05.007.
Centro
Facultades y escuelas::Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia