Results 1 to 10 of about 92,491 (149)
A type system for Continuation Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Continuation Calculus (CC), introduced by Geron and Geuvers, is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting, but it has no variable binding and no pattern matching.
Herman Geuvers +3 more
doaj +7 more sources
Mental simulation of the factual and the illusory in negation processing: evidence from anticipatory eye movements on a blank screen [PDF]
Scientific ReportsHow do comprehenders process negative statements such as The fish is not jumping out of the water? Opinions vary. Some argue for two steps, namely that processing starts off with the representation of the positive/illusory [fish jumping out of the water]
Norbert Vanek +4 more
doaj +2 more sources
The Syntax of Negation of Serial Verbs in Urdu
NUST Journal of Social Sciences and Humanities, 2022 The focus of this study is to highlight the syntax of the negation marker in Urdu serial verbs. There are two types of serial verb constructions (SVCs) in Urdu.
Bisma Butt +2 more
doaj +3 more sources
A Cognitive Approach to Double Negation in Persian [PDF]
مطالعات زبانها و گویشهای غرب ایران, 2023 The purpose of the present study is to investigate double negation in Persian in the framework of Cognitive linguistics and based on the theory of mental spaces.
Maryam Arghavani +2 more
doaj +1 more source
Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 6. The Еxternal Logic
Дискурс, 2021 Introduction. The article continues a series of publications on the linguistics of the relationship (hereafter R-linguistics) and is concerned with the semantic interpretation in terms of the linguistic model that is the initial stage to consider the ...
O. M. Polyakov
doaj +1 more source
La négation comme relationème dans Ngum a Jemea ou La foi inébranlable de Rudolf Dualla Manga Bell de David Mbanga Eyombwan [PDF]
Akofena, 2023 Résumé : Les descriptions et analyses que nous présentons dans le cadre de cette réflexion ont pour centre d’intérêt l’étude de la négation comme relationème dans la pièce théâtrale de David Mbanga Eyombwan intitulée Ngum a jemea ou la foi inébranlable ...
Paul Paul YDAHA, IKANKAFA Idrissou & Mathias GUIAKE
doaj +1 more source
Polarizing Double Negation Translations [PDF]
, 2013 Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and introduce fewer negations.
A. Kolmogorov +14 more
core +4 more sources
A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators [PDF]
, 2014 First, we reconstruct Wim Veldman's result that Open Induction on Cantor space can be derived from Double-negation Shift and Markov's Principle. In doing this, we notice that one has to use a countable choice axiom in the proof and that Markov's ...
Ilik, Danko, Nakata, Keiko
core +5 more sources
Glossa, 2018 I argue that there is a grammatical (non-semantic) constraint in English that prohibits double negation, dubbed *NEG NEG. I adduce a range of structures to illustrate this constraint, and show that apparent counter-examples are not double negation.
Chris Collins
doaj +2 more sources
Two negations for the price of one
Glossa, 2016 Standard English is typically described as a double negation language. In double negation languages, each negative marker contributes independent semantic force. Two negations in the same clause usually cancel each other out, resulting in an affirmative
Anna Notley +3 more
doaj +2 more sources