464 research outputs found
Deciding some displayable modal logics
In this paper we use display calculus to show the decidability for normal
modal logic K and some of its extensions.Comment: Draf
Non normal logics: semantic analysis and proof theory
We introduce proper display calculi for basic monotonic modal logic,the
conditional logic CK and a number of their axiomatic extensions. These calculi
are sound, complete, conservative and enjoy cut elimination and subformula
property. Our proposal applies the multi-type methodology in the design of
display calculi, starting from a semantic analysis based on the translation
from monotonic modal logic to normal bi-modal logic
Primary isolated intracranial Rosai–Dorfman disease: Report of a rare case and review of the literature
Background
Intracranial involvement is an uncommon manifestation of Rosai–Dorfman disease (RDD) and had been rarely reported. In this study, we explore clinical characteristics, imageology manifestations and pathological features of primary intracranial RDD so as to improve the understanding for this disease.
Methods
One case (16-years-old boy) with primary intracranial RDD was analyzed and studied retrospectively by MRI features, histopathological observation and immunohistochemical staining, and the related literatures were reviewed.
Results
The case was single lesion and involved the dura of the left middle cranial fossa base, which was iso-hypo signal intensity on T1WI and hypointense on T2WI and FLAIR image. The lesion was a homogeneous contrast enhancement mass with dural tail sign and had peritumoral brain edema. Pathological analysis showed the lesion consisted of variable numbers of mature lymphocytes, plasma cells and neutrophils. The characteristic histiocytes were emperipolesis and positively expressed for S-100 and CD-68 and negatively expressed for CD-1a by immunohistochemical analysis. Based on clinical presentations and histological findings after surgical excision, a final diagnosis of primary intracranial RDD was made.
Conclusion
Primary intracranial RDD, especially located in the cranial base, is exceptionally rare, which hard to be distinguished with meningoma by imageology and clinical manifestations, but could be diagnosed by pathological and immunohistochemical examinations. Surgery is of the most importance treatment and prognosis is optimistic for this disease
Recommended from our members
Essays on Skills-Based Routing
Service systems such as call centers and hospital inpatient wards typically feature multiple classes of customers and multiple types of servers. Not all customer-server pairs are compatible, and some types of servers may be more efficient at serving some classes of customers than others. In the queueing literature, the problem of matching customers and servers is known as skills-based routing. This thesis consists of two works I have done in this area.
The first work, which is done jointly with Jing Dong and Pengyi Shi, considers the routing problem in the face of a demand surge such as a pandemic. It shows how future arrival rate information, which is often available through demand forecast models, can be used to route near-optimally, even when there may be prediction errors. The methods used involve fluid approximations and optimal control theory, and the policies obtained are intuitive and easy to implement.
The second work, which is done jointly with Jing Dong, incorporates a staffing element in addition to routing. Asymptotically optimal staffing and scheduling policies are derived for an M-model, both with and without demand uncertainty. The methods used involve diffusion approximations and stochastic-fluid approximations
A Labelled Sequent Calculus for Public Announcement Logic
Public announcement logic(PAL) is an extension of epistemic logic (EL) with
some reduction axioms. In this paper, we propose a cut-free labelled sequent
calculus for PAL, which is an extension of that for EL with sequent rules
adapted from the reduction axioms. This calculus admits cut and allows
terminating proof search
Syntactic completeness of proper display calculi
A recent strand of research in structural proof theory aims at exploring the
notion of analytic calculi (i.e. those calculi that support general and modular
proof-strategies for cut elimination), and at identifying classes of logics
that can be captured in terms of these calculi. In this context, Wansing
introduced the notion of proper display calculi as one possible design
framework for proof calculi in which the analiticity desiderata are realized in
a particularly transparent way. Recently, the theory of properly displayable
logics (i.e. those logics that can be equivalently presented with some proper
display calculus) has been developed in connection with generalized Sahlqvist
theory (aka unified correspondence). Specifically, properly displayable logics
have been syntactically characterized as those axiomatized by analytic
inductive axioms, which can be equivalently and algorithmically transformed
into analytic structural rules so that the resulting proper display calculi
enjoy a set of basic properties: soundness, completeness, conservativity, cut
elimination and subformula property. In this context, the proof that the given
calculus is complete w.r.t. the original logic is usually carried out
syntactically, i.e. by showing that a (cut free) derivation exists of each
given axiom of the logic in the basic system to which the analytic structural
rules algorithmically generated from the given axiom have been added. However,
so far this proof strategy for syntactic completeness has been implemented on a
case-by-case base, and not in general. In this paper, we address this gap by
proving syntactic completeness for properly displayable logics in any normal
(distributive) lattice expansion signature. Specifically, we show that for
every analytic inductive axiom a cut free derivation can be effectively
generated which has a specific shape, referred to as pre-normal form.Comment: arXiv admin note: text overlap with arXiv:1604.08822 by other author
Effect of magnetic field on the spin resonance in FeTe(0.5)Se(0.5) as seen via inelastic neutron scattering
Inelastic neutron scattering and susceptibility measurements have been
performed on the optimally-doped Fe-based superconductor FeTe(0.5)Se(0.5),
which has a critical temperature, Tc of 14 K. The magnetic scattering at the
stripe antiferromagnetic wave-vector Q = (0.5,0.5) exhibits a "resonance" at ~
6 meV, where the scattering intensity increases abruptly when cooled below Tc.
In a 7-T magnetic field parallel to the a-b plane, Tc is slightly reduced to ~
12 K, based on susceptibility measurements. The resonance in the neutron
scattering measurements is also affected by the field. The resonance intensity
under field cooling starts to rise at a lower temperature ~ 12 K, and the low
temperature intensity is also reduced from the zero-field value. Our results
provide clear evidence for the intimate relationship between superconductivity
and the resonance measured in magnetic excitations of Fe-based superconductors.Comment: 4 pages, 3 figure
- …