Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)An alternative formalisation of Sobociński's three‐valued implicational propositional calculus.Alan Rose - 1956 - Mathematical Logic Quarterly 2 (10‐15):166-172.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Mathematical Logic Quarterly 18 (19‐20):291-295.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Mathematical Logic Quarterly 18 (19-20):291-295.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)An alternative formalisation of Sobociński's three-valued implicational propositional calculus.Alan Rose - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):166-172.
    Download  
     
    Export citation  
     
    Bookmark   2 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.
    Download  
     
    Export citation  
     
    Bookmark   10 citations