Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Introduction to logic and to the methodology of deductive sciences.Alfred Tarski - 1946 - New York: Dover Publications. Edited by Jan Tarski.
    This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus.Bob Coecke, Edward Grefenstette & Mehrnoosh Sadrzadeh - 2013 - Annals of Pure and Applied Logic 164 (11):1079-1100.
    The Distributional Compositional Categorical model is a mathematical framework that provides compositional semantics for meanings of natural language sentences. It consists of a computational procedure for constructing meanings of sentences, given their grammatical structure in terms of compositional type-logic, and given the empirically derived meanings of their words. For the particular case that the meaning of words is modelled within a distributional vector space model, its experimental predictions, derived from real large scale data, have outperformed other empirically validated methods that (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Essays in Logical Semantics.John Hawthorn - 1988 - Journal of Symbolic Logic 53 (3):990-991.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • (1 other version)Introduction to Logic and to the Methodology of Deductive Sciences. [REVIEW]E. N. - 1941 - Journal of Philosophy 38 (6):164.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Essays in Logical Semantics.Johan van Benthem - 1988 - Studia Logica 47 (2):172-173.
    Download  
     
    Export citation  
     
    Bookmark   83 citations