Switch to: Citations

Add references

You must login to add references.
  1. Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • EQ and the First Order Functional Calculus.Nuel D. Belnap - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):217-218.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Decision Procedure For the System EĪ of Entailment with Negation.Nuel D. Belnap & John R. Wallace - 1965 - Mathematical Logic Quarterly 11 (4):277-289.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A Decision Procedure For the System E Ī of Entailment with Negation.Nuel D. Belnap & John R. Wallace - 1965 - Mathematical Logic Quarterly 11 (4):277-289.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Enthymemes.Alan Ross Anderson & Nuel D. Belnap - 1961 - Journal of Philosophy 58 (23):713-723.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (7‐14):201-216.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):201-216.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-659b74868d-nj4fk uwo