Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/79576
Type: Artigo de periódico
Title: Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
Author: Castiglioni, JL
Biraben, RCE
Abstract: 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.
Subject: Intuitionistic logic
dual negation
paraconsistency
finite model property
Country: Inglaterra
Editor: Oxford Univ Press
Rights: fechado
Identifier DOI: 10.1093/jigpal/jzt027
Date Issue: 2014
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.