Artículo

Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation

Castiglioni, José LuisIcon ; Ertola Biraben, Rodolfo Cristian
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
Thumbnail
 
Tamaño: 74.23Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/31077
URL: https://academic.oup.com/jigpal/article-abstract/22/2/268/702404
URL: https://doi.org/10.1093/jigpal/jzt027
Colecciones
Articulos(CCT - 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