Results 41 to 50 of about 170,956 (278)

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

The Review of Symbolic Logic, 2018
The logic of Conditional Beliefs (CDL) has been introduced by Board, Baltag, and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this article both the semantics and the proof theory for this logic are studied.
Marianna Girlando, Sara Negri, N. Olivetti, V. Risch   +3 more
semanticscholar   +1 more source

Labeled Sequent Calculus for Orthologic

Bulletin of the Section of Logic, 2018
Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic. Sequent calculus is used as a tool for proof in logic and has been examinedfor several decades.
Tomoaki Kawano
semanticscholar   +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

A labeled sequent calculus for propositional linear time logic

Lietuvos Matematikos Rinkinys, 2012
A labeled sequent calculus LSC for propositional linear discrete time logic PLTL is introduced. Its sub-calculus LSC−TL is proved to be complete for some class of PLTL sequents.
Romas Alonderis
doaj   +1 more source

Sequent Calculus Representations for Quantum Circuits [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
When considering a sequent-style proof system for quantum programs, there are certain elements of quantum mechanics that we may wish to capture, such as phase, dynamics of unitary transformations, and measurement probabilities. Traditional quantum logics
Cameron Beebe
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   +2 more sources

Guidelines for Pediatric Radiotherapy Simulation: A Report From the Children's Oncology Group Radiation Oncology Discipline

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric radiation therapy presents unique challenges compared to adult treatments, including those of immobilization, potential need for sedation, and the critical importance of accurate, reproducible positioning. Additionally, heightened attention to imaging doses is necessary to minimize long‐term toxicity in survivors.
Parham Alaei, Stephen Mihalcik, Sujith Baliga, Young Kwok, Dana Casey, Eric Ehler, Christiane Burton, John C. Breneman, Daphne A. Haas‐Kogan, Suzanne L. Wolden, Arnold C. Paulino, Nadia N. Laack, Natia Esiashvili, Sarah Milgrom, Christine Hill‐Kayser, Thomas J. Fitzgerald, John A. Kalapurakal, Chia‐Ho Hua   +17 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 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

Re‐Irradiation in Pediatric Diffuse Midline Glioma: A Multi‐Institutional Retrospective Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Children with recurrent diffuse midline gliomas (DMGs) have limited therapeutic options at recurrence. Re‐irradiation (RT2) may be used at progression, but with uncertainty about the benefit. Methods We conducted a multi‐institutional retrospective study of children aged < 18 with DMG treated at three centers (Toronto, Canada ...
Ajay Thomas Alex, Sean P. Hassan, Helen Benghiat, Liam Herbert, Jennifer Adamski, Shivani Bailey, Claire Esler, Louise Brookes, Molly Bamber, Grace Koudou, Karen Waite, Julie Bennett, Anirban Das, Derek S. Tsang   +13 more
wiley   +1 more source