| 3 |
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
|
|
|
| 4 |
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
|
|
|
| 6 |
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
|
|
|
| 8 |
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
|
|
|
| 9 |
Ideal Words: A Vector-Based Formalisation of Semantic Competence ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 10 |
現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
|
|
劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Ideal Words: A Vector-Based Formalisation of Semantic Competence
|
|
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Parameterized monads in linguistics
|
|
|
|
Abstract:
A thesis submitted in partial fulfilment of the requirements of the University of Wolverhampton for the degree of Doctor of Philosophy. ; This dissertation follows the formal semantics approach to linguistics. It applies recent developments in computing theories to study theoretical linguistics in the area of the interaction between semantics and pragmatics and analyzes several natural language phenomena by parsing them in these theories. Specifically, this dissertation uses parameterized monads, a particular theoretical framework in category theory, as a dynamic semantic framework to reinterpret the compositional Discourse Representation Theory(cDRT), and to provide an analysis of donkey anaphora. Parameterized monads are also used in this dissertation to interpret information states as lists of presuppositions, and as dot types. Alternative interpretations for demonstratives and imperatives are produced, and the conventional implicature phenomenon in linguistics substantiated, using the framework. Interpreting donkey anaphora shows that parameterized monads is able to handle the sentential dependency. Therefore, this framework shows an expressive power equal to that of related frameworks such as the typed logical grammar and the dynamic predicate logic. Interpreting imperatives via parameterized monads also provides a compositional dynamic semantic analysis which is one of the main approaches to analysing imperatives.
|
|
Keyword:
category theory; conventional implicature; demonstrative; dot types; dynamic semantics; formal semantics; imperative; lambda calculus; monads; type theory
|
|
URL: http://hdl.handle.net/2436/624322
|
|
BASE
|
|
Hide details
|
|
|
| 15 |
Compositional Analysis of Turkish Agent Nominalizers
|
|
|
|
In: Proceedings of the Workshop on Turkic and Languages in Contact with Turkic; Vol 5 (2020); 16-25 ; 2641-3485 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
‘Must’ implies ‘can’
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03080446 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
|
|
