Results 61 to 70 of about 10,140 (309)
Decidability of Multi-agent Logic of Computation Trees $\mathcal{CTLK}^{Rel}$
Известия Иркутского государственного университета: Серия "Математика"We continue to explore the multi-agent logic of computational trees relative to the relational Kripke semantics of possible worlds: we investigate the question of logical solvability, the complexity of model construction, feasibility testing, and ...
S.I. Bashmakov, K. A. Smelykh
doaj +1 more source
Decidability in Intuitionistic Type Theory is Functionally Decidable [PDF]
Mathematical Logic Quarterly, 1996 AbstractIn this paper we show that the usual intuitionistic characterization of the decidability of the propositional function B(x) prop [x : A], i. e. to require that the predicate (∀x ∈ A) (B(x) ∨ ¬ B(x)) is provable, is equivalent, when working within the framework of Martin‐Löf's Intuitionistic Type Theory, to require that there exists a decision ...
openaire +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk +10 more
wiley +1 more source
Generalized decidability via Brouwer trees [PDF]
In the setting of constructive mathematics, we suggest and study a framework for decidability of properties, which allows for finer distinctions than just “decidable, semidecidable, or undecidable”.
de Jong, Tom +3 more
core +3 more sources
A Decidable Ground Fragment of the Monotonicity Calculus
LogicsMonotonicity is a prevalent feature in natural language. Notably, determiners such as every, some, and no induce monotonic (upward) or antitonic (downward) entailments. The Monotonicity Calculus is a proof system that formalizes such reasoning in natural
Daniel Li
doaj +1 more source
Pediatric Idiopathic Multicentric Castleman Disease Is Often Severe But Responsive to Siltuximab
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Idiopathic multicentric Castleman disease (iMCD) is a potentially fatal immunologic disorder marked by widespread lymphadenopathy and inflammation. Siltuximab, an interleukin‐6 (IL‐6) inhibitor, is the only FDA‐approved treatment for adult patients with iMCD.
Bridget Austin +17 more
wiley +1 more source
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories [PDF]
Logical Methods in Computer Science, 2013 We define a class of ranked tree automata TABG generalizing both the tree automata with local tests between brothers of Bogaert and Tison (1992) and with global equality and disequality constraints (TAGED) of Filiot et al. (2007).
Luis Barguñó +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Numerous international studies have reported declines in new cancer diagnoses, delayed diagnoses and disruptions in cancer treatment following the implementation of COVID‐19 pandemic public health measures, raising concerns that these effects may ultimately contribute to increased cancer mortality.
Friederike Erdmann +8 more
wiley +1 more source
Decidability Issues for Petri Nets [PDF]
, 1994 This is a survey of some decidability results for Petri nets, covering the last three decades. The presentation is structured around decidability of specific properties, various behavioural equivalences and finally the model checking problem for ...
Esparza, Javier, Nielsen, Mogens
core
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye +33 more
wiley +1 more source