Switch to: Citations

Add references

You must login to add references.
  1. Positive logic and λ-constants.David Meredith - 1978 - Studia Logica 37 (3):269 - 285.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (4 other versions)Formal Logic.A. N. Prior - 1964 - Studia Logica 15:298-301.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Investigations Into Implicational S5.C. A. Meredith & A. N. Prior - 1964 - Mathematical Logic Quarterly 10 (13-17):203-220.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A result for combinators, BCK logics and BCK algebras.M. W. Bunder - 1985 - Logique Et Analyse 28 (9):33.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Introduction to Combinators and λ-Calculus.J. Roger Hindley & Jonathan P. Seldin - 1988 - Journal of Symbolic Logic 53 (3):985-986.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • On the definition of substitution, replacement and allied notions in a abstract formal system.Haskell B. Curry - 1952 - Revue Philosophique De Louvain 50 (26):251-269.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • In memoriam: Carew Arthur Meredith (1904--1976).David Meredith - 1977 - Notre Dame Journal of Formal Logic 18 (4):513-516.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Modified basic functionality in combinatory logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Positive logic and lambda-constants.D. Meredith - 1978 - Studia Logica 37:269.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt.S. Jaśkowski - 1963 - Mathematical Logic Quarterly 9 (12‐15):219-228.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt.S. Jaśkowski - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):219-228.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Notes on the axiomatics of the propositional calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
    Download  
     
    Export citation  
     
    Bookmark   18 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-6f9648bdd6-8h97j uwo