Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • (1 other version)Logische Syntax der Sprache.R. Carnap - 1936 - Philosophy 11 (41):110-114.
    Download  
     
    Export citation  
     
    Bookmark   128 citations  
  • (1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   226 citations  
  • (1 other version)Nachgelassene Schriften.Gotlob Frege - 1970 - Synthese 21 (3):488-493.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • (1 other version)Logische Syntax der Sprache.Jörgen Jörgenfen - 1934 - Erkenntnis 4 (1):419-422.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • Grundgesetze der arithmetik.Gottlob Frege - 1893 - Jena,: H. Pohle.
    Download  
     
    Export citation  
     
    Bookmark   147 citations  
  • Languages with Variable-Binding Operators: Categorial Syntax and Combinatorial Semantics.Peter Simons - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 89:239.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Nachgelassene Schriften.R. H. Stoothoff - 1971 - Philosophical Quarterly 21 (82):77.
    Download  
     
    Export citation  
     
    Bookmark   87 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  
  • Functional operations in Frege's Begriffsschrift.Peter M. Simons - 1988 - History and Philosophy of Logic 9 (1):35-42.
    Frege uses Greek letters in two different ways in his Begriffsschrift. One way is the familiar use of bound variables, in conjunction with variable-binding operators, to mark and close argument-places. The other, which is quite unfamiliar, employs letters to mark places for operators to reach into, without thereby closing these places. Frege thereby invents a powerful and compact notation for functional operations which can be recommended even today. His regrettable double use of Greek letters obscured his invention, and this, together (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations