scientific article; zbMATH DE number 150213
Da Costa introduced his hierarchy \(C_ n\), \(1 \leq n \leq \omega\), of paraconsistent logics in 1963. The systems and problems related to their algebraization have largely been studied. Da Costa himself introduced the first algebraic approximation for the calculi in 1966, and other adequate algebraic structures were independently defined by Sette and Fidel. In 1984 Carnielli and de Alcântara tried to develop an alternative algebraic counterpart for the calculus \(C_ 1\), by introducing the da Costa algebras. The aim of this paper, which is a part of the M. Sc. dissertation of the first author, is to offer a modified proof of the Stone-type representation theorem of da Costa algebras in paraconsistent algebras of sets. The behavior of filters and ideals in da Costa algebras, the structures of quasi-filters, the notion of paraconsistent algebra of sets and some of the elementary properties of such algebras are studied, some definitions and proofs being slightly different from the ones orignally introduced. The representation theorem ensures, for the components of a certain subclass of da Costa algebras, the existence of isomorphic paraconsistent algebras of sets. A question regarding these results, presented even by the authors, is to know whether there exists, as in the case of Boolean algebras, a topological counterpart.
- Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
- scientific article; zbMATH DE number 3993578 (Why is no real title available?)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- scientific article; zbMATH DE number 4197962 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032844)
