Results 1 to 10 of about 3,415 (282)
Ultrasheaves and Double Negation [PDF]
Notre Dame Journal of Formal Logic, 2004 Moerdijk has introduced a topos of sheaves on a category of filters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultrafilters—the ultrasheaves. We then use this result to establish a double negation translation of results between the topos of ultrasheaves and the topos on filters.
Steve Awodey
exaly +6 more sources
Double Negation as Minimal Negation [PDF]
Journal of Logic, Language and Information, 2023 AbstractN. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and intuitionistic negation, respectively. A consequence of this is that the systems prove contradictions but are non-trivial.
Satoru Niki
exaly +4 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 +3 more sources
The Syntax of Negation of Serial Verbs in Urdu [PDF]
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 +8 more sources
Languages, 2023 Most Romance negative concord (NC) languages in particular configurations give rise to double negation (DN) readings. In this article, I discuss an intricate DN pattern in French.
Hedde Zeijlstra
doaj +3 more sources
Double-headed negation in Santome
Journal of Portuguese Linguistics, 2008 Santome, a Portuguese-related creole spoken on the island of São Tomé in the Gulf of Guinea, exhibits a standard discontinuous sentence negation pattern consisting of a preverbal marker (Neg1) and a VP-final marker (Neg2).
Tjerk Hagemeijer
doaj +4 more sources
On Correspondence between Selective CPS Transformation and Selective Double Negation Translation
Mathematics, 2021 A double negation translation (DNT) embeds classical logic into intuitionistic logic. Such translations correspond to continuation passing style (CPS) transformations in programming languages via the Curry-Howard isomorphism.
Hyeonseung Im
doaj +3 more sources
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
Nordic Atlas of Language Structures Journal, 2017 Clause-initial negation, which contributes with the negative semantics in the clause, can be divided into three subcategories according to Lindstrom (2009:168): (i) responsive negation, (ii) interrogative negation, and (iii) additive negation. Out of these three subtypes, the responsive negation, which is prosodically unstressed and primarily used in ...
Østbø Munch, Christine B. +1 more
openaire +2 more sources