A sequent system for LP

Mostrar todas las versiones(2)

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Palau, Gladys, Oller, Carlos A.
Formato: Artículo publishedVersion
Lenguaje:Inglés
Publicado: 2008
Materias:
Filosofía
Acceso en línea:https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.9673/pr.9673.pdf
Aporte de:
Memoria Académica - FaHCE (UNLP) de Universidad Nacional de La Plata
Descripción
Sumario: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.

Ejemplares similares