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: | Palau, Gladys |
|---|---|
| Otros Autores: | Oller, Carlos A. |
| 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í |
Ejemplares similares
-
A sequent system for LP
por: Palau, Gladys, et al.
Publicado: (2008) -
Estimating motion in image sequentation.
por: Stiller, Christoph - Sequent Scientific Limited Medtrack Company Profile
- Absorption Systems LP Medtrack Company Profile
-
Weak-polynomial convergence on spaces ℓp and Lp
por: Lassalle, S.
Publicado: (2004)