Results 31 to 40 of about 28,623 (311)

Sequent Calculi for ‘Generally’

Electronic Notes in Theoretical Computer Science, 2008
AbstractLogics of ‘generally’ (LG's) were introduced for handling assertions with some versions of vague notions (e.g. ‘generally’, ‘most’, ‘several’), which occur often in ordinary language and in science. LG's provide a framework for distinct notions of ‘generally’: one builds a specific logic for the notion one has in mind.
Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso   +2 more
openaire   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 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

A Proof Theoretic Analysis of Intruder Theories [PDF]

Logical Methods in Computer Science, 2010
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages Gamma under the theory of blind signatures and arbitrary convergent equational theories modulo ...
Alwen F Tiu, Rajeev Gore, Jeremy Dawson
doaj   +1 more source

Venous Thromboembolism in Pediatric Bone Sarcoma Patients: A 10‐Year, Single‐Institution Experience Encompassing the COVID‐19 Pandemic

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa, Shou Xu, Mark Zobeck, Sarah E. Sartain, Nino Rainusso, Lisa Wang, Nicole Montgomery, Paige Wheaton, Sarah Whittle   +8 more
wiley   +1 more source

A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic

Bulletin of the Section of Logic
This paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms and the Split Property.
Andreas Fjellstad
doaj   +1 more source

Sequent periderm formation and changes in the cellular contents of phloem parenchyma during rhytidome development in Cryptomeria japonica

Journal of Wood Science, 2022
The outer bark that includes sequent periderms is referred to as rhytidome. The defense and physiological functions of rhytidome are maintained by the continuous formation of sequent periderms.
Megumi Ohse, Rika Irohara, Etsushi Iizuka, Izumi Arakawa, Peter Kitin, Ryo Funada, Satoshi Nakaba   +6 more
doaj   +1 more source

Serological Benefit of SARS‐CoV‐2 Vaccination Relative to Infection in Children With Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Children with acute lymphoblastic leukemia (ALL) are at risk of severe outcomes from SARS‐CoV‐2 (SCV2). In the post‐pandemic context, where most children have been infected with SCV2, there are limited data on whether vaccination remains beneficial in children with ALL.
Janna R. Shapiro, Freda Qi, Karen Colwill, Alina D. Dorogy, Ying Liu, Michelle Science, Anne‐Claude Gingras, James M. Rini, Sumit Gupta, Sarah Alexander, Shelly Bolotin, Tania H. Watts   +11 more
wiley   +1 more source

Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus

Lietuvos Matematikos Rinkinys, 2008
In the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. Then we show how derivability of these sequents in a propositional intuitionistic logic sequent
Romas Alonderis
doaj   +1 more source

Uniform Proofs of Normalisation and Approximation for Intersection Types [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
We present intersection type systems in the style of sequent calculus, modifying the systems that Valentini introduced to prove normalisation properties without using the reducibility method.
Kentaro Kikuchi
doaj   +1 more source