TY  - JOUR
T1  - A sequent system for LP
JF  - CLE e-prints.
VO  - Vol. 8 No. 6 (2008),1-7 8
A1  - Palau, Gladys
A2  - Oller, Carlos A.
UL  - https://catalogo.bibliotecas.unlp.edu.ar/Record/dhu.ARTI09622
AB  - 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.
ER  -