Switch to: Citations

Add references

You must login to add references.
  1. Completeness of the normal typed fragment of the λ-system U.Glen Helman - 1977 - Journal of Philosophical Logic 6 (1):33 - 46.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A new way of normalizing intuitionist propositional logic.Garrel Pottinger - 1976 - Studia Logica 35 (4):387 - 408.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A new classical relevance logic.Garrel Pottinger - 1979 - Journal of Philosophical Logic 8 (1):135 - 147.
    Download  
     
    Export citation  
     
    Bookmark   2 citations