Results 31 to 40 of about 3,402 (282)
Negation in Chinese : a corpus-based study. [PDF]
, 2008 This article explores negation in Chinese on the basis of written and spoken corpora of Mandarin Chinese. The use of corpus data not only reveals central tendencies in language based on quantitative data, it also provides typical examples attested in ...
Xiao, R. Z., McEnery, A. M.
core +1 more source
Double Negation Semantics for Generalisations of Heyting Algebras [PDF]
Studia Logica, 2020 AbstractThis paper presents an algebraic framework for investigating proposed translations of classical logic into intuitionistic logic, such as the four negative translations introduced by Kolmogorov, Gödel, Gentzen and Glivenko. We view these asvariant semanticsand present a semantic formulation of Troelstra’s syntactic criteria for a satisfactory ...
Oliva, P, Arthan, R
openaire +2 more sources
La negazione in swahili. Un viaggio nel labirinto della grammatica
Atti del Sodalizio Glottologico Milanese, 2019 Verbal negation in Kiswahili. A journey in the labyrinth of grammar. This work presents a description of negation in Kiswahili. After a short exposition of the morphological patterns of negation in Kiswahili, explained in the frame of the Proto-Bantu ...
Marina Castagneto
doaj +1 more source
Defining double negation elimination [PDF]
Logic Journal of IGPL, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT [PDF]
The Journal of Symbolic Logic, 2017 AbstractThis paper considers a generalisation of selection functions over an arbitrary strong monad T, as functionals of type $J_R^T X = (X \to R) \to TX$. It is assumed throughout that R is a T-algebra. We show that $J_R^T$ is also a strong monad, and that it embeds into the continuation monad $K_R X = (X \to R) \to R$.
Martín Escardó, Paulo Oliva
openaire +3 more sources
Strong negation in the theory of computable functionals TCF [PDF]
Logical Methods in Computer ScienceWe incorporate strong negation in the theory of computable functionals TCF, a common extension of Plotkin's PCF and G\"{o}del's system $\mathbf{T}$, by defining simultaneously strong negation $A^{\mathbf{N}}$ of a formula $A$ and strong negation $P^{
Nils Köpp, Iosif Petrakis
doaj +1 more source
Intonational effects on English scopally-ambiguous sentences
Ilha do Desterro, 2020 This paper examines the effect of intonation contour on two types of scopally ambiguous constructions in English: configurations with a universal quantifier in subject position and sentential negation (e.g., Every horse didn’t jump) and configurations ...
Mien-Jen Wu, Tania Ionin
doaj +1 more source
Comedy’s Double Negation of Meaning in Post-war European Theater
Sillages Critiques, 2021 Through selected close readings from plays by Arthur Adamov and Samuel Beckett, this article examines how language is herein used against itself to expose the impossibility of meaninglessness.
Anna Street
doaj +1 more source
From Latin to Modern Italian: Some Notes on Negation
Languages, 2022 This article aims at investigating some diachronic aspects of the Italian negative system, considering a time span ranging from Old Latin to Modern Italian.
Matteo Greco
doaj +1 more source