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|
|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.|
finite model property
|Editor:||Oxford Univ Press|
|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.