Results 61 to 70 of about 170,956 (278)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric cancer remains a leading cause of morbidity and mortality worldwide, particularly in low‐and middle‐income countries. Cancer treatment may impair nutritional status, alter body composition, and exacerbate cancer‐related fatigue (CRF).
Luís Carlos Lopes‐Junior +11 more
wiley +1 more source
Partial cut elimination for propositional discrete linear time temporal logic
Lietuvos Matematikos Rinkinys, 2010 We consider propositional discrete linear time temporal logic with future and past operators of time. For each formula ϕ of this logic, we present Gentzen-type sequent calculus Gr(ϕ) with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Intersection Logic in sequent calculus style [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus.
Simona Ronchi Della Rocca +3 more
doaj +1 more source
Sequent Calculi for Orthologic with Strict Implication
Bulletin of the Section of Logic, 2022 In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with respect to ortho-models (O ...
Tomoaki Kawano
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Childhood aplastic anemia (AA) is a rare disease, and both the disease itself and its treatment cause significant morbidity. We aimed to determine the contemporary incidence of childhood AA in Finland, to compare the clinical characteristics of AA against inherited bone marrow failure syndromes (IBMFS) and refractory cytopenia of ...
Lauri‐Matti Kulmala +8 more
wiley +1 more source
Proof Translations between Label-free and Labeled Sequent Calculi in ISCI
Bulletin of the Section of LogicIn this paper we consider the Intuitionistic Sentential Calculus with Identity (ISCI). We study two main families of sequent calculi. The first one, called G3ISCI, is based on a label-free multi-succedent sequent calculus that is sound and complete w.r ...
Didier Galmiche +2 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Realisability semantics of abstract focussing, formalised [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present a sequent calculus for abstract focussing, equipped with proof-terms: in the tradition of Zeilberger's work, logical connectives and their introduction rules are left as a parameter of the system, which collapses the synchronous and ...
Stéphane Graham-Lengrand
doaj +1 more source
A Sequent Calculus for a Modal Logic on Finite Data Trees
Annual Conference for Computer Science Logic, 2016 We investigate the proof theory of a modal fragment of XPath equipped with data (in)equality tests over finite data trees, i.e. over finite unranked trees where nodes are labelled with both a symbol from a finite alphabet and a single data value from an ...
David Baelde, S. Lunel, S. Schmitz
semanticscholar +1 more source
A sequent calculus for relation algebras
Annals of Pure and Applied Logic, 1983 In this paper a new sequent calculus for the algebra of relations is presented. The new point of view consists in the restriction over the number of variables. So the nomenclature is justified: \(n\) sequent, \(n\) consistent, \(n\) proof, \(n\) model. The syntax and the semantics of the sequent calculus is naturally developed.
openaire +1 more source