Switch to: References

Add citations

You must login to add citations.
  1. O expressivismo lógico de Aristóteles segundo Lucas Angioni: um breve e introdutório quadro teórico.Aislan Fernandes Pereira - 2017 - Books of Abstracts (3rd FILOMENA Workshop).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Parsing/Theorem-Proving for Logical Grammar CatLog3.Glyn Morrill - 2019 - Journal of Logic, Language and Information 28 (2):183-216.
    \ is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical categorial grammar syntax is universal and grammar is reduced to logic: an expression is grammatical if and only if an associated logical statement is a theorem of a fixed calculus. Since the syntactic component is invariant, being the logic of the calculus, logical categorial grammar is purely lexicalist and a particular language model is defined by just a lexical dictionary. The foundational logic of continuity was established (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Type-Driven Vector Semantics for Ellipsis with Anaphora Using Lambek Calculus with Limited Contraction.Gijs Wijnholds & Mehrnoosh Sadrzadeh - 2019 - Journal of Logic, Language and Information 28 (2):331-358.
    We develop a vector space semantics for verb phrase ellipsis with anaphora using type-driven compositional distributional semantics based on the Lambek calculus with limited contraction of Jäger. Distributional semantics has a lot to say about the statistical collocation based meanings of content words, but provides little guidance on how to treat function words. Formal semantics on the other hand, has powerful mechanisms for dealing with relative pronouns, coordinators, and the like. Type-driven compositional distributional semantics brings these two models together. We (...)
    Download  
     
    Export citation  
     
    Bookmark