Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • A Filter lambda model and the completeness of type assignment.Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini - 1983 - Journal of Symbolic Logic 48 (4):931-940.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (1 other version)Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
    Download  
     
    Export citation  
     
    Bookmark   269 citations  
  • Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)Concerning Formulas of the Types $A rightarrow B vee C, A rightarrow (Ex)B(x)$.Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Algebraic analysis of entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15 (59/60):407-428.
    Download  
     
    Export citation  
     
    Bookmark   39 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-6f97f49787-ff2nm uwo