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:
File | Description | Size | Format | |
---|---|---|---|---|
2-s2.0-85078289919.pdf | 486.09 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.