Results 51 to 60 of about 25,817 (283)
More efficient proof-search for sequents of temporal logic
Lietuvos Matematikos Rinkinys, 2022 The present paper deals with efficiency improvement of backward proof-search of sequents of propositional linear temporal logic, using a loop-type sequent calculus.
Romas Alonderis
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Cytomegalovirus (CMV) is a recognized trigger of immune thrombocytopenia (ITP); however, its incidence and impact on disease course in children remain controversial. Therefore, we aimed to characterize the clinical course of pediatric patients with CMV‐associated ITP.
Oded Gilad +9 more
wiley +1 more source
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
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
Permutability of proofs in intuitionistic sequent calculi
Theoretical Computer Science, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roy Dyckhoff, Luís Pinto 0001
openaire +3 more sources
Modularisation of Sequent Calculi for Normal and Non-normal Modalities
, 2019 In this work, we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules, we obtain linear nested sequent calculi for a ...
Pimentel, Elaine; orcid: +1 more
core +1 more source
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
Admissible Substitutions in Sequent Calculi [PDF]
, 2003 For first-order classical logic a new notion of admissible substitution is defined. This notion allows optimizing the procedure of the application of quantifier rules when logical inference search is made in sequent calculi.
Lyaletski, Alexander
core +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