Results 51 to 60 of about 1,740 (284)

Sequent systems for PLTL

Lietuvos Matematikos Rinkinys, 2013
We consider three sequent calculi for propositional linear temporal logic (PLTL) which allow us to formalize the properties of operator “always”.  The main new results presented in the paper are: (1) introduction of the calculus with looping axioms; (2 ...
Romas Alonderis, Regimantas Pliuškevičius   +1 more
doaj   +1 more source

The Relationship Between Physical Activity and Left Ventricular Remodeling in Childhood Cancer Survivors Treated With Anthracyclines: A Cross‐Sectional Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Anthracycline‐related cardiac remodeling precedes heart failure in childhood cancer survivors. The objectives of this study were to determine the relationships between patient‐specific factors, moderate‐to‐vigorous physical activity (MVPA), and cardiac remodeling.
Hari K. Narayan, Sitong Chen, F. Lennie Wong, Nathan Young, Anna Qi, Christopher Davis, Sanjeet Hegde, Nicholas Gloude, Kasey J. Leger, Kelly D. Getz, Francisco Contijoch, Kirsten Ness, Bonnie Ky, Dennis Kuo, Sheri J. Hartman, Saro H. Armenian   +15 more
wiley   +1 more source

Equality Reasoning in Sequent-Based Calculi [PDF]

, 2001
This chapter describes automated reasoning techniques for all main sequent-based methods of automated deduction, including the tableau method, the connection method, model elimination, and the inverse method.
Degtyarev, Anatoli, Anatoli Degtyarev, Voronkov, Andrei, Andrei Voronkov   +3 more
core   +1 more source

Streamlining Input/Output Logics with Sequent Calculi [PDF]

, 2023
Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman’s causal I/O logics via proof-search-oriented sequent calculi. Our calculi establish a natural syntactic link between the
Ciabattoni, Agata, Rozplokhas, Dmitrii
core   +1 more source

Immunoglobulin Depletion and Recovery Following Blinatumomab in Infants With KMT2A‐Rearranged ALL

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Adding blinatumomab to standard chemotherapy for infants with KMT2A‐rearranged acute B‐cell lymphoblastic leukemia (KMT2A‐r B‐ALL) improves outcomes. Although blinatumomab impairs immunoglobulin G (lgG) production, increasing infection susceptibility, IgG recovery remains poorly understood.
Miguel Vieira Martins, Paola de Lorenzo, Rishi S. Kotecha, Andishe Attarbaschi, Gabriele Escherich, Karsten Nysom, Jan Stary, Alina Ferster, Benoit Brethon, Franco Locatelli, Martin Schrappe, Peggy E. Scholte‐van Houtem, Maria G. Valsecchi, Rob Pieters, Inge M. van der Sluis   +14 more
wiley   +1 more source

Sequent Calculi for the Normal Terms of the -a n d -Calculi ? [PDF]

, 2020
. This paper presents two sequent calculi, requiring no clausal form for types, whose typable terms are in 1-1 correspondence with the normal terms of the -a n d -calculi.
Roy Dyckho, Lu S Pinto
core  

Proof Translations between Label-free and Labeled Sequent Calculi in ISCI

Bulletin of the Section of Logic
In 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, Brandon Hornbeck, Daniel Méry   +2 more
doaj   +1 more source

Partial cut elimination for combinations of propositional multi-modal logics with past time

Lietuvos Matematikos Rinkinys, 2011
We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj   +1 more source

Impact of Metastatic Patterns on Survival and Response to Therapy in Neuroblastoma

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background While the presence of metastases in neuroblastoma (NB) is a well‐established prognostic factor, the clinical significance of dissemination patterns and tumour burden and their impact on response and survival remains poorly understood.
Mariona Morell‐Daniel, Santiago Pérez‐Hoyos, Aroa Soriano, Ana Coma, Amalia Varo, Raquel Hladun, Gabriela Guillén, Soraya Mico, Marta Garrido, Lourdes Rubio, Alba Rubio‐San‐Simón, Ana Minguez, Ricardo López‐Almaraz, Laura Illade, Miguel F. Segura, Lucas Moreno   +15 more
wiley   +1 more source

Tools and techniques for formalising structural proof theory [PDF]

, 2010
Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core