Please use this identifier to cite or link to this item:
|Type:||Artigo de periódico|
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|
|Appears in Collections:||Unicamp - Artigos e Outros Documentos|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.