We propose and discuss a complete sequent calculus formulation for Signed Interval Logic (SIL) with the chief purpose of improving proof support for SIL in practice. The main theoretical result is a simple characterization of the limit between decidability and undecidability of quantifier-free SIL. We present a mechanization of SIL in the generic proof assistant Isabelle and consider techniques...

We investigated the serum concentrations of interleukin-6 (IL-6) and two IL-6 family of cytokines (leukaemia inhibitory factor (LIF) and ciliary neurotrophic factor (CNTF) as well as IL-6 soluble receptor (sIL-6R) using an enzyme-linked immunosorbent assay (ELISA) in 66 patients with rheumatoid arthritis (RA) and 24 healthy controls. We examined a possible association between the serum levels o...

IL-27 is a cytokine of the IL-12 family that plays a key role in the regulation of inflammatory and T cell responses. Its receptor is composed of IL-27Rα and gp130 and activates the STAT pathway. We show in this study, using an ELISA that we developed, that a naturally occurring soluble form of IL-27Rα (sIL-27Rα) is produced by human activated CD4(+) and CD8(+) T cells, B cells, myeloid cells, ...

Soluble interleukin-2 receptor (sIL-2R) is a glycoprotein derived from α chain of interleukin 2 receptors of mononuclear as well as T-cell membranes. The aims of this study were to detect the changes of serum soluble interleukin-2 receptor (sIL-2R) levels following heavy-ion beam irradiation in the hamster model with cheek pouch carcinoma, as well as to examine the impact of immune status of th...

Circulating levels of the soluble interleukin 2 receptor (sIL-2R) could provide an in vivo measure of the immunologic response to human tumors. We performed a total of 326 sIL-2R serum assays in 126 patients with lung cancer (67 at diagnosis, 59 during and after treatment), 112 patients with pulmonary benign diseases, and 63 voluntary healthy subjects. Patients with lung cancer had a median val...

OBJECTIVE To determine if repeating the Pap smear (PS) at colposcopy offers added benefit in the detection of cervical squamous intraepithelial lesions (SILs). STUDY DESIGN Eight hundred fifty-two women were subjects of this study. Patients with cervical SIL were defined as women with SIL on the repeat PS, or SIL on the colposcopic cervical biopsy (bx) or a negative repeat PS and bx but confi...

Concentrations of interleukin (IL)-6, soluble IL-6 receptor (sIL-6R), and soluble tumor necrosis factor receptor (sTNFR) p55 and p75 were measured in 25 patients with sepsis syndrome. Sequential blood samples were drawn from patients during a 7-h period. IL-6 concentrations were 34-763,000 pg/mL; they were higher in nonsurvivors than survivors, but the difference was not statistically significa...

A soluble IL-2 receptor (sIL-2R) is a circulating form of a membrane receptor localized on lymphoid and some cancer cells. The biological function of sIL-2R has not been completely understood. Substantially, it seems to reflect T-lymphocyte activation in diseases of different pathology. Moreover, the soluble receptor has been considered, at least in part, responsible for unsuccessful immunother...

Multiple sclerosis (MS) is an organ-specific autoimmune disorder that is in part genetically determined. The gene encoding the alpha-chain of the IL-2 receptor, IL2RA, harbors alleles associated with risk to MS and other autoimmune diseases. In addition, IL2RA genetic variants correlate with the levels of a soluble form of the IL-2 receptor in subjects with type 1 diabetes and multiple sclerosi...