A sequent system for LP
| Publicado en: | CLE e-prints. Vol. 8 No. 6 (2008),1-7 8. Sao Paulo : Centre for Logic, Epistemology and the History of Science (CLE/PUBLICATIONS). State University of Campinas. UNICAMP, 2008 |
|---|---|
| Autor Principal: | |
| Otros autores o Colaboradores: | |
| Formato: | Artículo |
| Acceso en línea: | https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.9673/pr.9673.pdf https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/949 |
| Resumen: | This paper presents a Gentzen-type sequent system for Priest s three- valued paraconsistent logic LP. This sequent system is not canonical because it introduces non-standard axioms. Furthermore, the rules for the conditional and negation connectives are not the classical ones. Some philosophical consequences of this type of sequent presentation for many-valued logics are discussed. |
| Descripción Física: | p.1-7 |
| ISSN: | ISSN 1519-9681 |