Artículo
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
Fecha de publicación:
03/2014
Editorial:
Oxford University Press
Revista:
Logic Journal Of The Igpl (print)
ISSN:
1367-0751
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
In this article we provide some results concerning a logic that results from propositional intuitionistic logic when dual negation is added in certain way, producing a paraconsistent logic that has been called da Costa Logic. In particular, we prove the finite model property and strict paraconsistency of this logic.
Palabras clave:
Intuitionistic Logic
,
Dual Negation
,
Paraconsistency
,
Finite Model Property
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
Ertola Biraben, Rodolfo Cristian; Castiglioni, José Luis; Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation; Oxford University Press; Logic Journal Of The Igpl (print); 22; 2; 3-2014; 268-273
Compartir