Results 31 to 40 of about 2,544 (97)
Extraction in the Lambek-Grishin Calculus [PDF]
, 2010 We propose an analysis of extraction in the Lambek-Grishin calculus (LG): a categorial type logic featuring subtractions, with proof-theoretic behavior dual to that of the usual implications. Our analysis rests on three pillars: Moortgat’s discontinuous type constructors; their decomposition in LG as proposed by Bernardi and Moortgat; and the polarity ...
openaire +2 more sources
Mathematical Foundations for a Compositional Distributional Model of Meaning [PDF]
, 2010 We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, for which we rely on the algebra of Pregroups, introduced by Lambek.
Clark, Stephen +2 more
core
Proof Nets for the Multimodal Lambek Calculus
Studia Logica, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Puite, Q., Moot, R.C.A.
openaire +3 more sources
Lambek calculus is NP-complete
Theoretical Computer Science, 2006 The main goal of the paper is to show that the derivability problems for the Lambek calculus (L) and for the Lambek calculus allowing empty premises (L*) are NP-complete. The construction of a reduction from the problem CSAT to the L-derivability and L*-derivability problems is described, and the correctness of this reduction is proved.
openaire +2 more sources
Higher-order Linear Logic Programming of Categorial Deduction
, 1994 We show how categorial deduction can be implemented in higher-order (linear) logic programming, thereby realising parsing as deduction for the associative and non-associative Lambek calculi.
Morrill, Glyn
core +2 more sources
A Generalised Quantifier Theory of Natural Language in Categorical Compositional Distributional Semantics with Bialgebras [PDF]
, 2016 Categorical compositional distributional semantics is a model of natural language; it combines the statistical vector space models of words with the compositional models of grammar.
Hedges, Jules, Sadrzadeh, Mehrnoosh
core +1 more source
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus
Annals of Pure and Applied Logic, 2013 29 pages, pending publication in Annals of Pure and Applied ...
Bob Coecke +2 more
openaire +4 more sources
Context Update for Lambdas and Vectors [PDF]
, 2016 Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional ...
Muskens, Reinhard, Sadrzadeh, Mehrnoosh
core
Lexical and Derivational Meaning in Vector-Based Models of Relativisation
, 2017 Sadrzadeh et al (2013) present a compositional distributional analysis of relative clauses in English in terms of the Frobenius algebraic structure of finite dimensional vector spaces.
Moortgat, Michael, Wijnholds, Gijs
core
Continuation semantics for the Lambek–Grishin calculus
Information and Computation, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bernardi, Raffaella, M. Moortgat
openaire +3 more sources