Switch to: Citations

Add references

You must login to add references.
  1. Completeness proofs for the systems RM3 and BN4.Ross T. Brady - 1982 - Logique Et Analyse 25 (97):9.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
    Download  
     
    Export citation  
     
    Bookmark   459 citations  
  • (1 other version)A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • (2 other versions)Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
    Download  
     
    Export citation  
     
    Bookmark   170 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-9b866bbb8-sl6b2 uwo