Results 41 to 50 of about 14,982 (276)

A sequent calculus for propositional temporal logic with time gaps

Lietuvos Matematikos Rinkinys, 2011
A sequent calculus with Kripke semantics internalization for a propositional temporal logic with time gaps is introduced. All rules of the calculus are context-free and height-preserving invertible. Structural rules are admissible.
Romas Alonderis
doaj   +1 more source

The Epsilon Calculus and Herbrand Complexity [PDF]

, 2005
Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which ...
A. Blass, A. Leisenring, A. MOSTOWSKI, D. DeViDi, D. Hilbert, G. Kreisel, G. Mints, G. Mints, Georg Moser, J. Avigad, J. L. Bell, J. L. Bell, J. Von Neumann, M. Baaz, M. Fitting, R. Zach, R. Zach, Richard Zach, V. P. Orevkov, W. Ackermann, W. Ackermann   +20 more
core   +2 more sources

Dexamethasone for Chemotherapy‐Induced Nausea and Vomiting Prevention in Pediatric Patients: International Consensus

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background An international Delphi panel of experts developed consensus statements to delineate the circumstances where the risks of dexamethasone as an antiemetic do and do not outweigh its benefits. Procedure Experts in supportive care of pediatric patients were invited to participate.
Negar Shavandi, Paula D. Robinson, Shana Jacobs, L. Lee Dupuis, the International Pediatric Dexamethasone Panel, Sameer Bakhshi, Tiene Bauters, Eva Brack, Simone Cesaro, Claire Fosbrook, Jason Freedman, Tamara MacDonald, Eloise Neumann, Venkatraman Radhakrishnan, Rod Rassekh, Florian Slimano, Johnathan Soggee, Joel Thompson, Marianne van de Wetering, Milena Villarroel, Jasper Wong   +20 more
wiley   +1 more source

Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations

Bulletin of the Section of Logic
In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for ...
Sara Ayhan
doaj   +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  

Personalized Selumetinib Dosing in Pediatric Neurofibromatosis Type 1: Insights From a Pilot Therapeutic Drug Monitoring Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Objective To evaluate selumetinib exposure using therapeutic drug monitoring (TDM) in pediatric patients with neurofibromatosis type 1 (NF1) and plexiform neurofibromas (PN), assess interpatient pharmacokinetic variability, and explore the relationship between drug exposure, clinical response, and adverse effects.
Janka Kovács, Zoltán Köllő, Balázs Gellért Karvaly, Mahmoud Obeidat, Rita Nagy, Péter Hegyi, Brigitta Teutsch, Eszter Tuboly, Miklós Garami   +8 more
wiley   +1 more source

A theorem-proving approach to deciding properties of finite control agents [PDF]

, 1996
The report presents a decision procedure for assertions in an extension of the mu-calculus about finite-control pi-calculus agents. The procedure is based on the classical cut-free sequent calculus and associated techniques of automatic theorem ...
Franzén, Torkel
core   +1 more source

Adherence to Protocol Recommendations for Children With Wilms Tumour in Two Consecutive Studies in the United Kingdom and Ireland—Does Variation Matter?

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background and Aims Wilms tumour (WT) has excellent event‐free and overall survival (OS). However, small differences exist between countries participating in the same international study. This led us to examine variation in adherence to protocol recommendations as a potential contributing factor.
Suzanne Tugnait, R. Al‐Saadi, A. Lopez‐Cortes, K. Dzhuma, M. Oostveen, J. Brok, S. Irtan, M. Weeks, J. Bate, S. Baker, R. Williams, M. Powis, D. Saunders, O. Olsen, T. Watson, S. Shelmerdine, S. Vaidya, L. Howell, C. Duncan, G. M. Vujanic, C. Stiller, G. P. Balchin, T. Chowdhury, K. Pritchard‐Jones   +23 more
wiley   +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, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti   +3 more
doaj   +1 more source

A System of Interaction and Structure

, 2007
This paper introduces a logical system, called BV, which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challenging for the sequent calculus, and so far it is not achieved therein.
Alessio Guglielmi, Bruscoli P., Brünnler K., Brünnler K., Guglielmi A., Guglielmi A., Kahramanoğullari O., Straßburger L., Troelstra A. S.   +8 more
core   +1 more source