5 found
Order:
  1.  26
    Paraconsistent Algebras.Walter Alexandre Carnielli & Luiz Paulo Alcantara - 1984 - Studia Logica 43 (1-2):79 - 88.
    The prepositional calculiC n , 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 forC n . C. Mortensen settled the problem, proving that no equivalence relation forC n . determines a non-trivial quotient algebra.The concept of da Costa algebra, which reflects most of the logical properties ofC n , as well as the concept of paraconsistent closure system, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  13
    Some Results on Polarized Partion Relations of Higher Dimension.Walter Alexandre Carnielli & Carlos Augusto Di Prisco - 1993 - Mathematical Logic Quarterly 39 (1):461-474.
    Several types of polarized partition relations are considered. In particular we deal with partitions defined on cartesian products of more than two factors. MSC: 03E05.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Reasoning Under Inconsistent Knowledge.Walter Alexandre Carnielli & Mamede Lima-Marques - 1992 - Journal of Applied Non-Classical Logics 2 (1):49-79.
  4.  18
    Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (31-35):531-538.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  8
    Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Mathematical Logic Quarterly 27 (31‐35):531-538.