Results 61 to 70 of about 245,139 (276)
Categoricity and Negation. A Note on Kripke’s Affirmativism [PDF]
, 2019 We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not ...
Brîncuș, Constantin C. +1 more
core
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
FEBS Letters, EarlyView.Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
Negating as turning upside down
Studies in Logic, Grammar and Rhetoric, 2018 In order to understand negation as such, at least since Aristotle’s time, there have been many ways of conceptually modelling it. In particular, negation has been studied as inconsistency, contradictoriness, falsity, cancellation, an inversion of ...
Skowron Bartłomiej, Kubiś Wiesław
doaj +1 more source
Notre Dame Journal of Formal Logic, 1971 \textit{A. Heyting} [Intuitionism. An introduction. Amsterdam: North-Holland (1956; Zbl 0070.00801)], uses two distinct types of negation. Suppose \(p\) is a proposition and \(F\) is any contradiction. First, the negation of \(p\) has been proved, \(\vdash\,\sim p\), if it has been shown that the supposition of \(p\) leads to a contradiction, \(\vdash\,
openaire +2 more sources
A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators [PDF]
, 2014 First, we reconstruct Wim Veldman's result that Open Induction on Cantor space can be derived from Double-negation Shift and Markov's Principle. In doing this, we notice that one has to use a countable choice axiom in the proof and that Markov's ...
Ilik, Danko, Nakata, Keiko
core +5 more sources
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
L’expression de la négation en tupuri [PDF]
ZiglôbithaRésumé : Cet article a pour objectif de lever le voile sur la négation en tupuri, en partant du questionnaire élaboré par Miestamo (2016) pour décrire le système de négation d’une langue.
Baba Atemga NDOUWE et Amadou FARIKOU
doaj +1 more source
Indonesian Journal of Applied Linguistics, 2020 This study analysed form and function of negation in German including the complexity of negation construction in German and its equivalence in Indonesian language.
Sulis Triyono, Wening Sahayu, M. Margana
doaj +1 more source
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems [PDF]
, 2016 Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound.
Bernardo, Marco, Miculan, Marino
core +2 more sources
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source