Please use this identifier to cite or link to this item:
|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|
|Editor:||Oxford University Press|
|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.