1. Repositorio da Producao Cientifica e Intelectual da Unicamp
  2. Produção Científica
  3. Centro de Lógica, Epistemologia e História da Ciência - CLE
  4. CLE - Artigos e Outros Documentos
Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/352524
Full metadata record
DC FieldValueLanguage
dc.contributor.CRUESPUNIVERSIDADE ESTADUAL DE CAMPINASpt_BR
dc.contributor.authorunicampErtola Biraben, Rodolfo Cristian-
dc.typeArtigopt_BR
dc.titleStrict paraconsistency of truth-degree preserving intuitionistic logic with dual negationpt_BR
dc.contributor.authorBiraben, R. C. E.-
dc.contributor.authorCastiglioni, J. L.-
dc.subjectMatematica intuicionistapt_BR
dc.subjectLógicapt_BR
dc.subject.otherlanguageIntuitionistic mathematicspt_BR
dc.subject.otherlanguageLogicpt_BR
dc.description.abstractIn 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 logicpt_BR
dc.relation.ispartofInterest group in pure and applied logics. Logic journalpt_BR
dc.relation.ispartofabbreviationLogic Journal of the IGPLpt_BR
dc.publisher.cityOxfordpt_BR
dc.publisher.countryReino Unidopt_BR
dc.publisherOxford University Presspt_BR
dc.date.issued2014-
dc.date.monthofcirculationApr.pt_BR
dc.language.isoengpt_BR
dc.description.volume22pt_BR
dc.description.issuenumber2pt_BR
dc.description.issuespecialSIpt_BR
dc.description.firstpage268pt_BR
dc.description.lastpage273pt_BR
dc.rightsFechadopt_BR
dc.sourceWOSpt_BR
dc.identifier.issn1367-0751pt_BR
dc.identifier.eissn1368-9894pt_BR
dc.identifier.doi10.1093/jigpal/jzt027pt_BR
dc.identifier.urlhttps://ieeexplore.ieee.org/document/8205019pt_BR
dc.date.available2020-11-18T19:02:57Z-
dc.date.accessioned2020-11-18T19:02:57Z-
dc.description.provenanceSubmitted by Cintia Oliveira de Moura (cintiaom@unicamp.br) on 2020-11-18T19:02:57Z No. of bitstreams: 0en
dc.description.provenanceMade available in DSpace on 2020-11-18T19:02:57Z (GMT). No. of bitstreams: 0 Previous issue date: 2014en
dc.identifier.urihttp://repositorio.unicamp.br/jspui/handle/REPOSIP/352524-
dc.contributor.unidadeCentro de Lógica, Epistemologia e História da Ciênciapt_BR
dc.subject.keywordStrict paraconsistencypt_BR
dc.identifier.source000334094400006pt_BR
dc.creator.orcid0000-0002-8582-3035pt_BR
dc.type.formArtigopt_BR
Appears in Collections:CLE - Artigos e Outros Documentos

Files in This Item:
There are no files associated with this item.
Show simple item record Recommend this item


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