Results 21 to 30 of about 160,476 (167)
Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 This paper compares classical copying and quantum entanglement in natural language by considering the case of verb phrase (VP) ellipsis. VP ellipsis is a non-linear linguistic phenomenon that requires the reuse of resources, making it the ideal test case
Gijs Wijnholds, Mehrnoosh Sadrzadeh
doaj +1 more source
Language Models for Some Extensions of the Lambek Calculus [PDF]
Information and Computation, 2020 We investigate language interpretations of two extensions of the Lambek calculus: with additive conjunction and disjunction and with additive conjunction and the unit constant.
M. Kanovich, S. Kuznetsov, A. Scedrov
semanticscholar +1 more source
Correction to: Lambek Calculus with Conjugates [PDF]
Studia Logica, 2020 We, the authors, would like to thank Guillaume Aucher for informing us of his “Displaying Updates in Logic”, published in the Journal of Logic and Computation, 26(6):1865-1912 (2016).
Igor Sedlár, Andrew Tedder
openaire +1 more source
A proof-theoretic approach to scope ambiguity in compositional vector space models
Journal of Language Modelling, 2019 We investigate the extent to which compositional vector space models can be used to account for scope ambiguity in quantified sentences (of the form Every man loves some woman).
Gijs Wijnholds
doaj +1 more source
A Type-Driven Vector Semantics for Ellipsis with Anaphora Using Lambek Calculus with Limited Contraction [PDF]
Journal of Logic, Language and Information, 2019 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 (LCC) of Jäger (Anaphora and type logical grammar, Springer, Berlin,
G. Wijnholds, M. Sadrzadeh
semanticscholar +1 more source
Combining logical and distributional methods in type-logical grammars
Journal of Language Modelling, 2019 We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of "confidence the proof
Richard Moot
doaj +1 more source
A type-logical treebank for French
Journal of Language Modelling, 2015 The goal of the current paper is to describe the TLGbank, a treebank of type-logical proof semi-automatically extracted from the French Treebank. Though the framework chosen for the treebank are multimodal type-logical grammars, we have ensured that the ...
Richard Moot
doaj +1 more source
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality [PDF]
ACT, 2020 We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality !L∗, a modality that allows for the use of limited editions of contraction and permutation in the logic.
Lachlan McPheat +3 more
semanticscholar +1 more source
Continuations and Polymorphic Lambek Calculus (Logic, Language, Algebraic system and Related Areas in Computer Science) [PDF]
, 2021 We introduced the notion of continuation in lambda calculus for Lambek calculus and showed that the continuation-passing style transformation could be naturally derived from the rules of Lambek calculus.
Taniguchi, Masaya
core
Cyclic Shift in the Lambek Calculus
CoRR, 2021 We enrich the Lambek calculus with the cyclic shift operation, which is expected to model the closure operator of formal languages with respect to cyclic shifts. We introduce a Gentzen-style calculus and prove cut elimination. Secondly, we turn to categorial grammars based on this calculus and show that they can generate non-context-free languages ...
openaire +2 more sources