10 found
Order:
  1.  31
    Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.
    The sequent system LDJ is formulated using the same connectives as Gentzen's intuitionistic sequent system LJ, but is dual in the following sense: (i) whereas LJ is singular in the consequent, LDJ is singular in the antecedent; (ii) whereas LJ has the same sentential counter-theorems as classical LK but not the same theorems, LDJ has the same sentential theorems as LK but not the same counter-theorems. In particular, LDJ does not reject all contradictions and is accordingly paraconsistent. To obtain a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  2.  58
    Paraconsistency.Igor Urbas - 1990 - Studies in East European Thought 39 (3-4):343-354.
  3.  10
    Paraconsistency.Igor Urbas - 1990 - Studies in Soviet Thought 39 (3-4):343-354.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   11 citations  
  4.  29
    Paraconsistency and the $\rm C$-Systems of da Costa.Igor Urbas - 1989 - Notre Dame Journal of Formal Logic 30 (4):583-597.
  5.  22
    Conservative Extension in Relevant Arithmetic.Robert K. Meyer & Igor Urbas - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (1-5):45-50.
  6.  23
    On Subsystems of the System J1 of Arruda and Da Costa.Igor Urbas - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):95-106.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  20
    A Note on “Carnot's Logic”.Igor Urbas - 1994 - Bulletin of the Section of Logic 23 (3).
  8.  6
    Paraconsistent Classical Logic.Richard Sylvan & Igor Urbas - 1993 - Logique Et Analyse 141 (142):3-24.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  9
    Conservative Extension in Relevant Arithmetic.Robert K. Meyer & Igor Urbas - 1986 - Mathematical Logic Quarterly 32 (1‐5):45-50.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  2
    On Subsystems of the System J1 of Arruda and Da Costa.Igor Urbas - 1990 - Mathematical Logic Quarterly 36 (2):95-106.