Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/341662
Full metadata record
DC FieldValueLanguage
dc.contributor.CRUESPUNIVERSIDADE ESTADUAL DE CAMPINASpt_BR
dc.identifier.isbn978-3-030-25364-6pt_BR
dc.contributor.authorunicampConiglio, Marcelo Esteban-
dc.contributor.authorunicampFigallo Orellano, Aldo-
dc.typeOutro documentopt_BR
dc.titleA model-theoretic analysis of fidel-structures for mbCpt_BR
dc.contributor.authorConiglio, M.E.-
dc.contributor.authorFigallo-Orellano, A.-
dc.subjectLógica paraconsistentept_BR
dc.subject.otherlanguageParaconsistent logicpt_BR
dc.description.abstractIn this paper, the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to analyze the class of mbC-structures. Thus, substructures, union of chains, direct products, direct limits, congruences and quotient structures can be analyzed under this perspective. In particular, a Birkhoff-like representation theorem for mbC-structures as subdirect products in terms of subdirectly irreducible mbC-structures is obtained by adapting a general result for first-order structures due to Caicedo. Moreover, a characterization of all the subdirectly irreducible mbC-structures is also given. An alternative decomposition theorem is obtained by using the notions of weak substructure and weak isomorphism considered by Fidel for Cn-structures.pt_BR
dc.relation.ispartofOutstanding contributions to logicpt_BR
dc.publisher.cityDordrechtpt_BR
dc.publisher.countryHolandapt_BR
dc.publisherSpringerpt_BR
dc.date.issued2019-
dc.language.isoengpt_BR
dc.description.volume18pt_BR
dc.description.firstpage189pt_BR
dc.description.lastpage216pt_BR
dc.rightsFechadopt_BR
dc.sourceScopuspt_BR
dc.identifier.issn2211-2758pt_BR
dc.identifier.eissn2211-2766pt_BR
dc.identifier.doi10.1007/978-3-030-25365-3_10pt_BR
dc.identifier.urlhttps://link.springer.com/chapter/10.1007/978-3-030-25365-3_10pt_BR
dc.date.available2020-05-19T11:24:09Z-
dc.date.accessioned2020-05-19T11:24:09Z-
dc.description.provenanceSubmitted by Bruna Maria Campos da Cunha (bcampos@unicamp.br) on 2020-05-19T11:24:09Z No. of bitstreams: 0en
dc.description.provenanceMade available in DSpace on 2020-05-19T11:24:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2019en
dc.identifier.urihttp://repositorio.unicamp.br/jspui/handle/REPOSIP/341662-
dc.contributor.departmentDepartamento de Filosofiapt_BR
dc.contributor.departmentSem informaçãopt_BR
dc.contributor.unidadeInstituto de Filosofia e Ciências Humanaspt_BR
dc.contributor.unidadeCentro de Lógica, Epistemologia e História da Ciênciapt_BR
dc.contributor.unidadeSem informaçãopt_BR
dc.identifier.source2-s2.0-85078289919pt_BR
dc.creator.orcidorcid.org/0000-0002-1807-0520pt_BR
dc.creator.orcidSem informaçãopt_BR
dc.type.formCapítulo de livropt_BR
Appears in Collections:IFCH - Artigos e Outros Documentos
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.