Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/341662
Type: Outro documento
Title: A model-theoretic analysis of fidel-structures for mbC
Author: Coniglio, M.E.
Figallo-Orellano, A.
Abstract: In 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.
Subject: Lógica paraconsistente
Country: Holanda
Editor: Springer
Rights: Fechado
Identifier DOI: 10.1007/978-3-030-25365-3_10
Address: https://link.springer.com/chapter/10.1007/978-3-030-25365-3_10
Date Issue: 2019
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.