|
|
|
|
| LEADER |
00000nab a2200000 a 4500 |
| 001 |
ARTI09622 |
| 008 |
230422s2008####|||#####|#########0#####d |
| 100 |
|
|
|a Palau, Gladys
|u Facultad de Filosofía y Letras, Universidad de Buenos Aires. Facultad de Humanidades y Ciencias de la Educación, Universidad Nacional de La Plata
|
| 700 |
|
|
|a Oller, Carlos A.
|u Facultad de Filosofía y Letras, Universidad de Buenos Aires. Facultad de Humanidades y Ciencias de la Educación, Universidad Nacional de La Plata
|
| 245 |
1 |
0 |
|a A sequent system for LP
|
| 041 |
|
7 |
|2 ISO 639-1
|a en
|
| 300 |
|
|
|a p.1-7
|
| 520 |
3 |
|
|a 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.
|
| 856 |
4 |
0 |
|u https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.9673/pr.9673.pdf
|
| 952 |
|
|
|u https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.9673/pr.9673.pdf
|a MEMORIA ACADEMICA
|b MEMORIA ACADEMICA
|
| 856 |
4 |
1 |
|u https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/949
|
| 773 |
0 |
|
|7 nnas
|t CLE e-prints.
|g Vol. 8 No. 6 (2008),1-7
|v 8
|l 6
|q 1-7
|d Sao Paulo : Centre for Logic, Epistemology and the History of Science (CLE/PUBLICATIONS). State University of Campinas. UNICAMP, 2008
|x ISSN 1519-9681
|
| 542 |
1 |
|
|f Esta obra está bajo una licencia Creative Commons Atribución-NoComercial-CompartirIgual 4.0 Internacional
|u https://creativecommons.org/licenses/by-nc-sa/4.0/
|
