Results 11 to 20 of about 1,585,173 (321)
Distributional Formal Semantics [PDF]
Information and Computation, 2021 Natural language semantics has recently sought to combine the complementary strengths of formal and distributional approaches to meaning. More specifically, proposals have been put forward to augment formal semantic machinery with distributional meaning ...
Noortje J. Venhuizen +3 more
semanticscholar +1 more source
Locality and Intervention in the Acquisition of Greek Relative Clauses
Languages, 2022 According to the most recent formulation of Relativized Minimality, grammatical features are distinguished between those that are syntactically active and those that are not.
Nikos Angelopoulos +2 more
doaj +1 more source
Modular, compositional, and executable formal semantics for LLVM IR
Proc. ACM Program. Lang., 2021 This paper presents a novel formal semantics, mechanized in Coq, for a large, sequential subset of the LLVM IR. In contrast to previous approaches, which use relationally-specified operational semantics, this new semantics is based on monadic ...
Yannick Zakowski +5 more
semanticscholar +1 more source
DO LINGUISTIC MEANINGS MEET LINGUISTIC FORM? [PDF]
Manuscrito, 2022 In this brief note, I offer some considerations to the effect of arguing (i) that Duffley's criticism to formal semantics is based on a dogma about the proper nature of the linguistic sing, and (ii) that, even when I agree with the general spirit of his ...
ANDRÉS SAAB
doaj +1 more source
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice [PDF]
, 2021 We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's thesis and axiom of choice.
Maietti, Maria Emilia +2 more
core +3 more sources
The lexical and formal semantics of distributivity
Glossa, 2021 Some predicates are distributive (true of each member of a plural subject: if two people smile, they each do). Others are nondistributive (if two people meet, they do so jointly rather than individually), or go both ways: if two people open a door ...
Lelia Glass
doaj +2 more sources
Executable formal semantics for the POSIX shell [PDF]
Proc. ACM Program. Lang., 2019 The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert’s control panel, a necessary tool for configuring, compiling, installing, maintaining, and deploying systems.
M. Greenberg, Austin J. Blatt
semanticscholar +1 more source
On the formal semantics of IF-like logics [PDF]
Journal of Computer and System Sciences, 2008 في المنطق الكلاسيكي، يكون معنى الصيغة ثابتًا فيما يتعلق بإعادة تسمية المتغيرات المرتبطة. وقد تبين أن هذه الخاصية، التي تؤخذ عادة كأمر مسلم به، لا تحتفظ في حالة المنطق الصديق للاستقلال (IF). في هذه الورقة، نجادل بأن هذه ليست سمة متأصلة في هذه المنطق ولكنها عيب في الطريقة التي تم بها تعميم الدلالات التركيبية التي قدمها هودجز للجزء العادي على الصيغ ...
Santiago Figueira +2 more
openaire +6 more sources
On the Triviality of the Principle of Compositionality
Felsefe Arkivi, 2023 The principle of compositionality states that the meaning of an expression is a function of the meanings of its parts. The principle is based on Gottlob Frege’s works that consider linguistic meaning in the function-argument structure.
Tolgahan Toy
doaj +1 more source
A Formal Semantics for Protocol Narrations [PDF]
Theoretical Computer Science, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sébastien Briais, Uwe Nestmann
openaire +1 more source