Results 51 to 60 of about 658,878 (281)

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

On Multiplicative Linear Logic, Modality and Quantum Circuits [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits.
Ugo Dal Lago, Claudia Faggian
doaj   +1 more source

An Investigation into the Multi-Pass Radial-Mode Micro Abrasive Air Jet Turning of Fused-Silica Rods

Machines, 2023
With the increased requirement of miniaturization structures on hard and brittle substrates, micro abrasive air jet turning technology has become a promising machining technology for manufacturing miniaturization structures.
Ruibo Yang, Quanlai Li, Weipeng Zhang, Yafeng Deng, Jialin Li   +4 more
doaj   +1 more source

Composite power system reliability evaluation using modified minimal cut set approach

Alexandria Engineering Journal, 2018
The composite power system reliability analysis is generally based on minimal path or cut enumeration, tracing of power flow paths from which the related reliability indices are calculated.
T. Bharath Kumar, O. Chandra Sekhar, M. Ramamoorty   +2 more
doaj   +1 more source

Structural cut elimination

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 2000
Presents new proofs of cut elimination for intuitionistic, classical and linear sequent calculi. In all cases, the proofs proceed by three nested structural inductions, avoiding the explicit use of multi-sets and termination measures on sequent derivations.
openaire   +1 more source

On the non-confluence of cut-elimination

The Journal of Symbolic Logic, 2011
AbstractWe study cut-elimination in first-order classical logic. We construct a sequence of polynomial-length proofs having a non-elementary number of different cut-free normal forms. These normal forms are different in a strong sense: they not only represent different Herbrand-disjunctions but also differ in their prepositional structure.This result ...
Matthias Baaz, Stefan Hetzl
openaire   +2 more sources

Increased Risk of Sarcomas in Children With Congenital Anomalies: Findings From the Genetic Overlap Between Anomalies and Cancer in Kids (GOBACK) Registry Linkage Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric sarcomas are a heterogeneous group of tumors that contribute disproportionately to cancer mortality in children. Although congenital anomalies are among the strongest known risk factors for childhood cancer, the risk of specific sarcoma subtypes among affected individuals has not yet been thoroughly evaluated. Procedure We
Russ Wolters, Ji Yun Tark, Tiffany M. Chambers, Tania A. Desrosiers, Michael E. Scheurer, Charles Shumate, Wendy N. Nembhard, Mahsa M. Yazdy, Eirini Nestoridi, Amanda E. Janitz, Jean Paul Tanner, Russell S. Kirby, Jason L. Salemi, Yao Yu, Chad D. Huff, Sharon E. Plon, Philip J. Lupo, Jeremy M. Schraw   +17 more
wiley   +1 more source

On Nested Sequents for Constructive Modal Logics [PDF]

Logical Methods in Computer Science, 2015
We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5.
Lutz Strassburger, Anupam Das, Ryuta Arisaka   +2 more
doaj   +1 more source

Therapeutic Apheresis for Intravenous Methylprednisolone‐Refractory Neuromyelitis Optica Spectrum Disorder: Clinical and Radiological Outcomes in a Single‐Center Case Series

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Neuromyelitis optica spectrum disorder (NMOSD) is a relapsing autoimmune disease of the central nervous system. High‐dose intravenous methylprednisolone (IVMP) is the standard first‐line therapy for acute attacks, although some patients remain refractory.
Wataru Horiguchi, Daisuke Katagiri, Takeyuki Watadani, Shunichi Matsuda, Hiroshi Kaneko, Noritoshi Arai   +5 more
wiley   +1 more source

Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Peritoneal dialysis (PD) patients lose protein in their waste dialysate, potentially increasing their risk for malnutrition. We wished to determine whether there was any association between losses and dietary protein intake (DPI). Methods DPI was assessed from 24‐h dietary recall using Nutrics software.
Haalah Shaaker, Andrew Davenport
wiley   +1 more source