Results 61 to 70 of about 118,600 (325)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Medication nonadherence during the first 100 days after pediatric hematopoietic stem cell transplantation (HSCT) and during oncology treatment increases risk for complications. BMT4me is a caregiver‐facing mobile health (mHealth) application providing medication reminders, symptom tracking, and note‐taking features to support ...
Micah A. Skeens +4 more
wiley +1 more source
Valentini's cut-elimination for provability logic resolved [PDF]
, 2015 Valentini (1983) has presented a proof of cut-elimination for provability logic GL for a sequent calculus using sequents built from sets as opposed to multisets, thus avoiding an explicit contraction rule.
Ramanayake, Revantha, Gore, Rajeev
core +1 more source
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas.
Federico Aschieri
doaj +1 more source
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
Bulletin of the Section of Logic, 2023 We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{
Sara Ayhan, Heinrich Wansing
doaj +1 more source
On the non-confluence of cut-elimination
The Journal of Symbolic Logic, 2011 AbstractWe study cut-elimination in first-order classical logic. We construct a sequence of polynomial-length proofs having a non-elementary number of different cut-free normal forms. These normal forms are different in a strong sense: they not only represent different Herbrand-disjunctions but also differ in their prepositional structure.This result ...
Matthias Baaz, Stefan Hetzl
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Animal‐assisted activities (AAAs) with therapy dogs have shown positive effects on patient well‐being and quality of life in various areas of medicine, including pediatric oncology. However, research on this topic is limited. The aim of this study is to present the current status of AAA in pediatric oncology in Germany, Austria, and
Jan‐Marius Wedig +7 more
wiley +1 more source
BMC Pulmonary Medicine, 2022 Background Recent studies support the diagnostic role of bronchoalveolar lavage lymphocytosis (BALL) in patients with suspected hypersensitivity pneumonitis (HP).
Meghan Hill, Tananchai Petnak, Teng Moua
doaj +1 more source
On the elimination of quantifier-free cuts
Theoretical Computer Science, 2011 When investigating the complexity of cut-elimination in first-order logic, a natural subproblem is the elimination of quantifier-free cuts. So far, the problem has only been considered in the context of general cut-elimination, and the upper bounds that have been obtained are essentially double exponential. In this note, we observe that a method due to
openaire +3 more sources
Determining Parental Factors for Clinical Trial Attrition in Pediatric Acute Lymphoblastic Leukemia
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background/Objectives Despite high enrollment rates on Children's Oncology Group (COG) protocols, attrition after initial consent is challenging, introducing bias and prolonging trial completion. While adult oncology literature has identified predictors of withdrawal, little is known about caregiver decision‐making for child participation in ...
Kimberly L. Stathas +3 more
wiley +1 more source
Logical Methods in Computer Science, 2017 We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a simple system relying on the involutive status of negation. The second one incorporates the notion
Olivier Laurent
doaj +1 more source