Switch to: Citations

Add references

You must login to add references.
  1. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.M. Yasuhara & Peter B. Andrews - 1988 - Journal of Symbolic Logic 53 (1):312.
  • Singular terms, truth-value gaps, and free logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.
  • Sense without Denotation.Timothy Smiley - 1959 - Analysis 20 (6):125 - 135.
  • Logics Without Existence Assumptions.Theodore Hailperin - 1968 - Journal of Symbolic Logic 37 (2):424-424.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
    By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   1205 citations  
  • Existential import revisited.Karel Lambert - 1963 - Notre Dame Journal of Formal Logic 4 (4):288-292.
  • Implementing Mathematics with the Nuprl Proof Development System.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer & R. W. Harper - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
  • On second-order logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.