Switch to: References

Add citations

You must login to add citations.
  1. A Quasi-Discursive System $ND_2^+$.Janusz Ciuciura - 2006 - Notre Dame Journal of Formal Logic 47 (3):371-384.
    Discursive (or discussive) logic, D₂, introduced by Jaśkowski, is widely recognized as a first formal approach to paraconsistency. Jaśkowski applied a quite extraordinary technique at that time to describe his logic. He neither gave a set of the axiom schemata nor presented a direct semantics for D₂ but used a translation function to express his philosophical and logical intuitions. Discursive logic was defined by an interpretation in the language of S₅ of Lewis. The aim of this paper is to present (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (2 other versions)On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11‐14):175-184.
    Download  
     
    Export citation  
     
    Bookmark  
  • (2 other versions)On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11-14):175-184.
    Download  
     
    Export citation  
     
    Bookmark