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)
|
|
Abstract:
International audience ; Manipulating type hierarchies in formal semantic frameworks is often performed through a subtyping relation which obeys the contravariant rule for the left argument of a function type, due to the traditional representation of predicates as functions. This approach has however serious drawbacks when handling modifiers for first-order predicates. The present paper adopts an opposite view on subtyping by introducing a predicate calculus with a covariant behaviour, endowed with a categorical semantics in which subtyping coercions behave as generalisations of injective functions, and predicates are assimilated to powerobjects. This calculus is type safe in the sense that it prevents unwanted term applications, and is shown to provide a solution for the difficulties faced by a contravariant subtyping.
|
|
Keyword:
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; Category theory; Covariant subtyping; Formal semantics
|
|
URL: https://hal.inria.fr/hal-03542057/document https://hal.inria.fr/hal-03542057 https://hal.inria.fr/hal-03542057/file/main.pdf
|
|
BASE
|
|
Hide 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
|
|
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
|
|
|
|