Results 51 to 60 of about 136,655 (280)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Graft‐versus‐host disease (GvHD) remains one of the most significant complications of hematopoietic stem cell transplantation (HSCT). Abatacept, a selective T‐cell costimulation modulator, is a relatively novel prophylactic agent, though pediatric data remain limited.
Matthijs D. Kruizinga +3 more
wiley +1 more source
Loop-check elimination for non-transitive distributed knowledge logic
Lietuvos Matematikos Rinkinys, 2008 A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed.
Aida Pliuškevičienė
doaj +1 more source
Sequent calculus Sk4 for skolemized formulas
Lietuvos Matematikos Rinkinys, 2005 There is not abstract.
Andrejus Belovas, Stanislovas Norgėla
doaj +3 more sources
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
A Sequent Calculus for Urn Logic [PDF]
Journal of Logic, Language and Information, 2015 Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be ...
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background and Aims Infant bone and soft tissue neoplasms present distinct clinical challenges and lack large‐scale data to inform treatment decisions. This study aims to characterize bone and soft tissue neoplasms in infants in Canada and to compare their outcomes with those of older pediatric patients.
Samuel Sassine +21 more
wiley +1 more source
Sequent Calculus for Euler Diagrams [PDF]
, 2018 Proof systems play a major role in the formal study of diagrammatic logical systems. Typically, the style of inference is not directly comparable to traditional sentential systems, to study the diagrammatic aspects of inference. In this work, we present a proof system for Euler diagrams with shading in the style of sequent calculus.
openaire +2 more sources
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
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]
, 2016 I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core +4 more sources
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