Results 71 to 80 of about 57,089 (267)
Illusive wide scope of universal quantifiers [PDF]
, 2009 It is widely believed that existential quantifiers can bring about the semantic effects of a scope which is wider than their actual syntactic scope (See Fodor & Sag (1982), Cresti (1995), Kratzer (1995), Reinhart (1995) and Winter (1995), among many ...
Fox, Danny, Sauerland, Uli
core
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
Bounded Quantifier Instantiation for Checking Inductive Invariants
, 2019 We consider the problem of checking whether a proposed invariant $\varphi$ expressed in first-order logic with quantifier alternation is inductive, i.e. preserved by a piece of code.
Feldman, Yotam M. Y. +4 more
core +1 more source
Function‐driven design of a surrogate interleukin‐2 receptor ligand
FEBS Letters, EarlyView.Interleukin (IL)‐2 signaling can be achieved and precisely fine‐tuned through the affinity, distance, and orientation of the heterodimeric receptors with their ligands. We designed a biased IL‐2 surrogate ligand that selectively promotes effector T and natural killer cell activation and differentiation. Interleukin (IL) receptors play a pivotal role in
Ziwei Tang +9 more
wiley +1 more source
Logic as an internal organisation of language
Science & PhilosophyContemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language.
Boris Čulina
doaj +1 more source
Informal Logic, 1991 This article explores a mapping of the formal probability calculus onto the informal logic concepts of acceptability and sufficiency, concluding that while this approach is technically feasible, its value for understanding real-life arguments is limited. This article was originally published as: Black, J. (1991). Quantifying support. Informal Logic, 13(
openaire +5 more sources
Characterising two-sided quantum correlations beyond entanglement via metric-adjusted f-correlations
, 2019 We introduce an infinite family of quantifiers of quantum correlations beyond entanglement which vanish on both classical-quantum and quantum-classical states and are in one-to-one correspondence with the metric-adjusted skew informations.
A Farace +21 more
core +1 more source
Time after time – circadian clocks through the lens of oscillator theory
FEBS Letters, EarlyView.Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo +2 more
wiley +1 more source
The article a(n) in English quantifying expressions: A default marker of cardinality
Glossa, 2020 Certain English quantificational expressions feature what appears to be an indefinite article, e.g. a bunch, a few, a hundred. These can be divided into three types of quantifying expressions: pseudopartitives (a lot, a bunch, a ton), article-requiring ...
Heidi Klockmann
doaj +2 more sources
Quantifying quantifier representations
, 2022 This thesis presents experimental and computational modeling studies on the mental representations of the natural language quantifiers (e.g., most, many, few, more than half, and fewer than half). According to the dominant logical approach in cognitive semantics, the meaning of quantifiers can be expressed in the form of truth conditions.
openaire +1 more source