Order:
  1.  49
    K-Transforms in Classical and Paraconsistent Logics.Newton C. A. Da Costa & Roque Da C. Caiero - 1999 - Logic and Logical Philosophy 7:63.
    We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  21
    K-Transforms in Classical and Paraconsistent Logics.Newton C. A. Da Costa & Roque da C. Caiero - 1999 - Logic and Logical Philosophy 7:63-80.
    We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. A New Paraconsistent Set Theory: A/L.Roque da C. Caiero & Edelcio G. de Souza - 1997 - Logique Et Analyse 40:115-141.
     
    Export citation  
     
    Bookmark