A sequent system for LP

Mostrar otras versiones (1)

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
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í
Biblioteca BIBHUMA (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.
Descripción Física:p.1-7
ISSN:ISSN 1519-9681

Ejemplares similares