Results 61 to 70 of about 5,524 (273)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Objective To evaluate the diagnostic yield and utility of universal paired tumor–normal multigene panel sequencing in newly diagnosed pediatric solid and central nervous system (CNS) tumor patients and to compare the detection of germline pathogenic/likely pathogenic variants (PV/LPVs) against established clinical referral criteria for cancer ...
Natalie Waligorski +9 more
wiley +1 more source
Sequent Calculi with procedure calls
, 2013 In this paper, we introduce two focussed sequent calculi, LKp(T) and LK+(T), that are based on Miller-Liang's LKF system for polarised classical logic. The novelty is that those sequent calculi integrate the possibility to call a decision procedure for some background theory T, and the possibility to polarise literals "on the fly" during proof-search ...
Farooque, Mahfuza +1 more
openaire +4 more sources
Prevalence and Trajectory of Household Material Hardship Among Children With Advanced Cancer
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background/Objectives Families of children with advanced cancer living in poverty experience inferior outcomes including poor parent mental health and worse child quality of life. Household material hardship (HMH: food, housing, transportation, and/or utility insecurity) is a modifiable poverty exposure—and potential intervention target—that ...
Sarah Wright +13 more
wiley +1 more source
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems [PDF]
Logical Methods in Computer Science, 2011 Basic proof-search tactics in logic and type theory can be seen as the root-first applications of rules in an appropriate sequent calculus, preferably without the redundancies generated by permutation of rules. This paper addresses the issues of defining
Stéphane Jean Eric Lengrand +2 more
doaj +1 more source
Bulletin of the Section of Logic, 2021 This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication.
Guido Gherardi, Eugenio Orlandelli
doaj +1 more source
An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]
, 2016 A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Families of children with cancer experience significant financial strain, even with universal healthcare. Indirect costs, such as productivity losses and non‐medical expenses, are rarely included in economic evaluations, and little is known about how effectively financial aid programmes alleviate this burden. Childhood brain tumours
Megumi Lim +8 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The management of clinically apparent single lesions or oligofocal nephroblastomatosis, a facultative precursor of nephroblastoma, remains debated. Methods We retrospectively analyzed 37 patients with clinically apparent single or oligofocal nephroblastomatosis (two to three lesions per kidney) among 2347 patients registered between
Nils Welter +17 more
wiley +1 more source
Relation between classical and intuitionistic sequent calculi of temporal logic
Lietuvos Matematikos Rinkinys, 2001 There is not abstract.
Romas Alonderis
doaj +3 more sources
Resource control and strong normalisation [PDF]
, 2011 We introduce the \emph{resource control cube}, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and with either natural deduction or sequent calculus.
Ghilezan, Silvia +3 more
core +2 more sources