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
LEADER 01659nab a2200181 a 4500
001 ARTI09621
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 
856 4 1 |u https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/949 
952 |u https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.9673/pr.9673.pdf  |a MEMORIA ACADEMICA  |b MEMORIA ACADEMICA 
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/ 

Ejemplares similares