Results 51 to 60 of about 3,415 (282)
A Lightweight Double-negation Translation [PDF]
, 2015 International audienceDeciding 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.
Gilbert, Frédéric
core +2 more sources
Reciprocal control of viral infection and phosphoinositide dynamics
FEBS Letters, EarlyView.Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source
Negation in vernacular Brazilian Portuguese [PDF]
, 2013 textAs Haegeman and Zanuttini (1996:117) discuss, when two negative elements are present in a specific syntactic domain, two possible situations may arise: "(i) the two negative elements may cancel each other out, or (ii) the two elements may ...
Martínez, Cristina, active 2003
core +1 more source
Expletive negation and related problems
Linguistic Typology at the Crossroads, 2022 This paper makes two main claims: the presence of two or more negative elements in Negative Concord, Negative Comparison, and Expletive Negation basically rests upon the pragmatic need of intensifying the negative import of the sentence.
Paolo Ramat
doaj +1 more source
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Residuation in orthomodular lattices
Topological Algebra and its Applications, 2017 We show that every idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice. The converse holds if adjointness is replaced by conditional adjointness.
Chajda Ivan, Länger Helmut
doaj +1 more source
A bidirectional Optimality Theoretic analysis of multiple negative indefinites in Afrikaans
Stellenbosch Papers in Linguistics, 2014 In the literature on negation, Afrikaans is generally categorised as a negative concord language. Unlike most other negative concord languages though, utterances containing multiple indefinites in the scope of negation are typically produced with a ...
Huddlestone, Kate, de Swart, Henriëtte
doaj +1 more source
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Double negation stable h-propositions in cubical sets [PDF]
, 2022 We give a construction of classifiers for double negation stable h-propositions in a variety of cubical set models of homotopy type theory and cubical type theory.
Swan, Andrew W.
core +1 more source
Jespersen's cycle in Slovenian
Linguistica, 2011 The paper examines the syntactic status of the negative marker in standard Slovenian and its Pannonian dialects in terms of the grammaticalisation process known as Jespersen's cycle.
Gašper Ilc
doaj +1 more source