Home Catalogue search

eng

Refine your search:
- Keyword
- Creator / Publisher:
- Year
- Medium
- Type
- BLLDB-Access:
  - free (3.897)
  - subject to license (513)

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3 4 5...195

Hits 1 – 20 of 3.897

1	A gentle introduction to Girard's Transcendental Syntax for the linear logician
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
	BASE
	Show details

2	Semantics with assignment variables
	Silk, Alex. - Cambridge, United Kingdom : Cambridge University Press, 2021
	BLLDB
	UB Frankfurt Linguistik
	Show details

3	Properties and propositions : the metaphysics of higher-order logic
	Trueman, Robert. - Cambridge, United Kingdom : Cambridge University Press, 2021
	BLLDB
	UB Frankfurt Linguistik
	Show details

4	Conceptual alternatives: Competition in language and beyond
	Buccola, Brian; Križ, Manuel; Chemla, Emmanuel
	In: Linguistics & Philosophy ; https://hal.archives-ouvertes.fr/hal-03102612 ; Linguistics & Philosophy, In press (2021)
	Abstract: International audience ; Things we can say, and the ways in which we can say them, compete with one another. And this has consequences: words we decide not to pronounce have critical effects on the messages we end up conveying. For instance, in saying Chris is a good teacher, we may convey that Chris is not an amazing teacher. How this happens is an unsolvable problem, unless a theory of alternatives indicates what counts, among all the things that have not been pronounced. It is sometimes assumed, explicitly or implicitly, that any word counts, as long as that word could have replaced one that was actually pronounced. We review arguments for going beyond this powerful idea. In doing so, we argue that the level of words is not the right level of analysis for alternatives. Instead, we capitalize on recent conceptual and associated methodological advances within the study of the so-called "language of thought" to reopen the problem from a new perspective. Specifically, we provide theoretical and experimental arguments that the relation between alternatives and words may be indirect, and that alternatives are not linguistic objects in the traditional sense. Rather, we propose that competition in language is better seen as primarily determined by general reasoning preferences, or thought preferences (preferences that may have forged the lexicons of modern languages in the first place, as argued elsewhere). We propose that such non-linguistic preferences can be measured and that these measures can be used to explain linguistic competition, nonlinguistically, and more in depth.
	Keyword: [SCCO]Cognitive science; concepts; formal semantics; language of thought; linguistic competition
	URL: https://hal.archives-ouvertes.fr/hal-03102612/file/buccolaEtAl_20_Conceptual.4.pdf https://hal.archives-ouvertes.fr/hal-03102612/document https://hal.archives-ouvertes.fr/hal-03102612
	BASE
	Hide details

5	Multiplicative Linear Logic from Logic Programs and Tilings
	Eng, Boris; Seiller, Thomas
	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
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

7	Stellar Resolution: Multiplicatives - for the linear logician, through examples
	Eng, Boris
	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
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

9	Stellar Resolution: Multiplicatives - for the linear logician, through examples
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
	BASE
	Show details

10	Covariant Subtyping Applied to Semantic Predicate Calculi
	Babonnaud, William
	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

11	On the habitual verb "pflegen" in German: its use, origin, and development
	Jędrzejowski, Łukasz
	In: Linguistics. - Berlin [u.a.] : Mouton de Gruyter 59 (2021) 6, 1473-1530
	BLLDB
	Show details

12	Dialogue Modeling in a Dynamic Framework ; Modélisation dynamique des dialogues
	Boritchev, Maria. - : HAL CCSD, 2021
	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

13	MIC ...
	Kurthy, Miklos. - : Open Science Framework, 2021
	BASE
	Show details

14	Advances in formal Slavic linguistics 2018 ...
	Unkn Unknown. - : Freie Universität Berlin, 2021
	BASE
	Show details

15	Cyclic scope and processing difficulty in a Minimalist parser
	Pasternak, Robert; Graf, Thomas
	In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 8 ; 2397-1835 (2021)
	BASE
	Show details

16	Revisiting subjunctive obviation in French: a formal acceptability judgment study
	Feldhausen, Ingo; Buchczyk, Sebastian
	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
	Orenstein, Dina; Greenberg, Yael
	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 ...
	Herbelot, A; Copestake, Ann. - : Apollo - University of Cambridge Repository, 2021
	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)
	Butterfield, Andrew; Ekembe Ngondi, Gerard; Koutavas, Vasileios. - : Springer, 2021
	BASE
	Show details

Page: 1 2 3 4 5...195

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern