Switch to: Citations

Add references

You must login to add references.
  1. Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   202 citations  
  • Pragmatics and intensional logic.Richard Montague - 1970 - Dialectica 24 (4):277-302.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Some remarks on second order logic with existence attributes.Nino B. Cocchiarella - 1968 - Noûs 2 (2):165-175.
    Some internal and philosophical remarks are made regarding a system of a second order logic of existence axiomatized by the author. Attributes are distinguished in the system according as their possession entails existence or not, The former being called e-Attributes. Some discussion of the special principles assumed for e-Attributes is given as well as of the two notions of identity resulting from such a distinction among attributes. Non-Existing objects are of course indiscernible in terms of e-Attributes. In addition, However, Existing (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Existence entailing attributes, modes of copulation and modes of being in second order logic.Nino B. Cocchiarella - 1969 - Noûs 3 (1):33-48.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A second order logic of existence.Nino B. Cocchiarella - 1969 - Journal of Symbolic Logic 34 (1):57-69.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   240 citations  
  • Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   230 citations  
  • Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
    Download  
     
    Export citation  
     
    Bookmark   434 citations  
  • Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
    Download  
     
    Export citation  
     
    Bookmark   170 citations