1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
4 |
Conceptual alternatives: Competition in language and beyond
|
|
|
|
In: Linguistics & Philosophy ; https://hal.archives-ouvertes.fr/hal-03102612 ; Linguistics & Philosophy, In press (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
6 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
10 |
Covariant Subtyping Applied to Semantic Predicate Calculi
|
|
|
|
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03542057 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
|
|
BASE
|
|
Show details
|
|
12 |
Dialogue Modeling in a Dynamic Framework ; Modélisation dynamique des dialogues
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03541628 ; Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩ (2021)
|
|
BASE
|
|
Show details
|
|
15 |
Cyclic scope and processing difficulty in a Minimalist parser
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 8 ; 2397-1835 (2021)
|
|
Abstract:
A common view in the theoretical literature is that quantifier raising (QR) is a clause-bounded operation. But in a paper published in Glossa, Wurmbrand (2018) argues that (i) QR is not clause-bounded, and the apparent clause-boundedness of QR is due to the human parser’s difficulty in processing extraclausal QR; and (ii) the relative difficulty of extraclausal QR depends on the size of the embedded clause from which QR takes place. She then proposes a theory of scope processing in which parsing Logical Form (LF) movement is costly for the human parser, which in conjunction with independently motivated assumptions about A′-movement generates the desired results. In this paper, we accept Wurmbrand’s descriptive observations and proposed syntax but offer an alternative, rigorously defined metric of scope processing difficulty that makes precise quantitative predictions. Our proposal is formalized with Minimalist Grammars (Stabler 1997) and expands recent work by Kobele et al. (2013), among others, that uses this formalism to account for numerous processing phenomena. Our metric correctly handles Wurmbrand’s observations as well as cases that are problematic for her account, and points the way toward an explanatory theory of scope processing.
|
|
Keyword:
computational linguistics; formal parsing; mathematical linguistics; Minimalist Grammars; quantification; scope; scope processing; semantics; syntax
|
|
URL: https://doi.org/10.5334/gjgl.1209 https://www.glossa-journal.org/jms/article/view/1209
|
|
BASE
|
|
Hide details
|
|
16 |
Revisiting subjunctive obviation in French: a formal acceptability judgment study
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 59 ; 2397-1835 (2021)
|
|
BASE
|
|
Show details
|
|
17 |
Approximation derived from a scalar exclusive particle associating with covert focus: The case of Hebrew be-sax ha-kol
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 5 ; 2397-1835 (2021)
|
|
BASE
|
|
Show details
|
|
18 |
Ideal Words: A Vector-Based Formalisation of Semantic Competence ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
|
|
劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021
|
|
BASE
|
|
Show details
|
|
20 |
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
|
|
|
|
BASE
|
|
Show details
|
|
|
|