Switch to: References

Add citations

You must login to add citations.
  1. Paraconsistent Algebras.Walter Alexandre Carnielli & Luiz Paulo de Alcantara - 1984 - Studia Logica 43 (1):79-88.
    The propositional calculi $C_{n}$ , $1\leq n\leq \omega $ introduced by N.C.A. da Costa consitute 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 $C_{n}$ . C. Mortensen settled the problem, proving that no equivalence relation for $C_{n}$ determines a non-trivial quotient algebra. The concept of da Costa algebra, which reflects most of the logical properties of $C_{n}$ , as well as the concept of paraconsistent (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations