Bilattice Logic Properly Displayed
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 mult...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2019 |
| 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/24640 |
| Acceso en línea: | https://hdl.handle.net/20.500.14468/24640 |
| Access Level: | acceso abierto |
| Palabra clave: | 11 Lógica Non-classical logics bilattice logic many-valued logics substructural logics algebraic proof theory sequent calculi cut elimination display calculi multi-type calculi |
| Sumario: | 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. |
|---|