Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)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  
  • (1 other version)Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
    Download  
     
    Export citation  
     
    Bookmark   48 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  
  • Enthymemes.Alan Ross Anderson & Nuel D. Belnap - 1961 - Journal of Philosophy 58 (23):713-723.
    Download  
     
    Export citation  
     
    Bookmark   17 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  
  • Association for Symbolic Logic.[author unknown] - 1966 - Journal of Symbolic Logic 31 (4):707-737.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)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  
  • (1 other version)Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
    Download  
     
    Export citation  
     
    Bookmark   49 citations