Please use this identifier to cite or link to this item:
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
finite model property
Country: Inglaterra
Editor: Oxford Univ Press
Citation: Logic Journal Of The Igpl. Oxford Univ Press, v. 22, n. 2, n. 268, n. 273, 2014.
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.