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
id I19-R125-Jpr9673
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-125
collection Memoria Académica - FaHCE (UNLP)
language Inglés
orig_language_str_mv eng
topic Filosofía
spellingShingle Filosofía
Palau, Gladys
Oller, Carlos A.
A sequent system for LP
topic_facet Filosofía
description 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.
format Artículo
Artículo
publishedVersion
author Palau, Gladys
Oller, Carlos A.
author_facet Palau, Gladys
Oller, Carlos A.
author_sort Palau, Gladys
title A sequent system for LP
title_short A sequent system for LP
title_full A sequent system for LP
title_fullStr A sequent system for LP
title_full_unstemmed A sequent system for LP
title_sort sequent system for lp
publishDate 2008
url https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.9673/pr.9673.pdf
work_keys_str_mv AT palaugladys asequentsystemforlp
AT ollercarlosa asequentsystemforlp
AT palaugladys sequentsystemforlp
AT ollercarlosa sequentsystemforlp
bdutipo_str Repositorios
_version_ 1764820504435228676

Ejemplares similares