No label defined (Q4032844)

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.