Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: Paraconsistent Algebras
Author: Carnielli W.A.
de Alcantara L.P.
Abstract: The prepositional calculi Cn, 1 ≤n ≤ ω introduced by N.C.A. da Costa constitute special kinds of paraconsistent logics. A question which remained open for some time concerned whether it was possible to obtain a Lindenbaum's algebra for Cn. C. Mortensen settled the problem, proving that no equivalence relation for Cn. determines a non-trivial quotient algebra. The concept of da Costa algebra, which reflects most of the logical properties of Cn, as well as the concept of paraconsistent closure system, are introduced in this paper. We show that every da Costa algebra is isomorphic with a paraconsistent algebra of sets, and that the closure system of all filters of a da Costa algebra is paraconsistent. © 1984 Polish Academy of Sciences.
Editor: Kluwer Academic Publishers
Rights: fechado
Identifier DOI: 10.1007/BF00935742
Date Issue: 1984
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
2-s2.0-34250142824.pdf531.31 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.