A sequent system for LP
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 con...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Artículo |
| Lenguaje: | Inglés |
| 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 |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Search Result 1