Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/352524
Type: Artigo
Title: Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
Author: Biraben, R. C. E.
Castiglioni, J. L.
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: Matematica intuicionista
Lógica
Country: Reino Unido
Editor: Oxford University Press
Rights: Fechado
Identifier DOI: 10.1093/jigpal/jzt027
Address: https://ieeexplore.ieee.org/document/8205019
Date Issue: 2014
Appears in Collections:CLE - 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.