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:
| Autores principales: | Palau, Gladys, Oller, Carlos A. |
|---|---|
| Formato: | Artículo publishedVersion |
| Lenguaje: | Inglés |
| Publicado: |
2008
|
| Materias: | |
| Acceso en línea: | https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.9673/pr.9673.pdf |
| Aporte de: |
Ejemplares similares
-
A sequent system for LP
por: Palau, Gladys -
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)