Results 41 to 50 of about 455,476 (286)
Skolemization In Intermediate Logics
CoRRSkolemization, with Herbrand's theorem, underpins automated theorem proving and various transformations in computer science and mathematics. Skolemization removes strong quantifiers by introducing new function symbols, enabling efficient proof search algorithms.
Matthias Baaz +3 more
openaire +2 more sources
Applications of Intuitionistic Logic in Answer Set Programming [PDF]
, 2003 We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given.
Arrazola, Jose +2 more
core
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Sequent Calculus in the Topos of Trees
, 2015 Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that
A. Bizjak +13 more
core +1 more source
Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining
Molecular Oncology, EarlyView.IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis +3 more
wiley +1 more source
Asian Journal of Medical Sciences, 2021 COVD-19 caused due to SARS-CoV2, family of Coronaviridae, the order Nidovirales, and the genus Coronavirus. A zoonotic spillover infection from bats to humans through some intermediate host was proposed to be responsible for its origin.
Ruby Dhar +5 more
doaj +1 more source
Preservation of admissible rules when combining logics
, 2016 Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics.
Rasga, Joao +2 more
core +1 more source
Digital twins to accelerate target identification and drug development for immune‐mediated disorders
FEBS Open Bio, EarlyView.Digital twins integrate patient‐derived molecular and clinical data into personalised computational models that simulate disease mechanisms. They enable rapid identification and validation of therapeutic targets, prediction of drug responses, and prioritisation of candidate interventions.
Anna Niarakis, Philippe Moingeon
wiley +1 more source
Towards a mental probability logic
Psychologica Belgica, 2005 We propose probability logic as an appropriate standard of reference for evaluating human inferences. Probability logical accounts of nonmonotonic reasoning with SYSTEM P, and conditional syllogisms (MODUS PONENS, etc.) are explored.
Niki Pfeifer, Gernot D. Kleiter
doaj +1 more source