Results 1 to 10 of about 3,402 (282)
Ultrasheaves and Double Negation
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 +5 more sources
Double Negation as Minimal Negation
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 +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 +7 more sources
The Negation Jangan from a Lexical Functional Perspective
LLT Journal: A Journal on Language and Language Teaching, 2016 This paper is an investigation into the properties of the negation jangan in the framework of Lexical-Functional Grammar. The analysis shows that the negation jangan can negate verbs functioning as predicate in a sentence.
Truly Almendo Pasaribu
doaj +3 more sources
A note on double negation marking in Sissala
Studies in African Linguistics, 1983 Double Negation Marking in Sissala, a Voltaic language spoken on the Ghana-Upper Volta border, raises some interesting questions about sentence negation and poses some problems regarding semantic interpretation.
Regina Blass
doaj +4 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
A Lightweight Double-negation Translation
EPiC Series in Computing, 2018 Deciding whether a classical theorem can be proved constructively is a well-known undecidable problem. As a consequence, any computable double-negation translation inserts some unnecessary double negations. This paper shows that most of these unnecessary insertions can be avoided without any use of constructive proof search techniques. For this purpose,
Frederic Gilbert
openaire +4 more sources
Why is “not infrequent” not always “frequent”? Double negation in political discourse
ExELL (Explorations in English Language and Linguistics), 2015 The aim of this paper is to view double negation in the light of its semantic and pragmatic meaning. While double negation in logic gives a positive value, in natural languages, besides having positive entailment, it can have a range of different ...
Osmankadić Merima
doaj +2 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