Switch to: Citations

Add references

You must login to add references.
  1. Finitely many-valued paraconsistent systems.Roman Tuziak - 1997 - Logic and Logical Philosophy 5:121-127.
    In the paper n -valued paraconsistent matrices are defined by an adaptation of the well-known Łukasiewicz’s matrices. An appropriate set of axioms is presented and the 3-valued case is examined.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • A note on ${\bf R}$-Mingle and Sobociński's three-valued logic.R. Zane Parks - 1972 - Notre Dame Journal of Formal Logic 13 (2):227-228.
  • On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
  • On Notation for Ordinal Numbers.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):93-94.
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Logic of antinomies.F. G. Asenjo & J. Tamburino - 1975 - Notre Dame Journal of Formal Logic 16 (1):17-44.
  • On an implication connective of RM.Arnon Avron - 1986 - Notre Dame Journal of Formal Logic 27 (2):201-209.
  • Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219-241.
  • Completeness proofs for the systems RM3 and BN4.Ross T. Brady - 1982 - Logique Et Analyse 25 (97):9.
     
    Export citation  
     
    Bookmark   31 citations  
  • Paraconsistency and C1.Chris Mortensen - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 289--305.
     
    Export citation  
     
    Bookmark   8 citations  
  • Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
     
    Export citation  
     
    Bookmark   48 citations  
  • O logice trójwartościowej.Jan Łukasiewicz - 1988 - Studia Filozoficzne 270 (5).
    No categories
     
    Export citation  
     
    Bookmark   32 citations