Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Posttransplant monomorphic Burkitt's lymphoma: clinical characteristics and outcome of a multicenter series

Burkitt's monomorphic posttransplant lymphoproliferative disorder (B-PTLD) is an uncommon subtype of PTLD. Owing to the paucity of this complication, clinical characteristics and outcome has not been fully described. Clinical characteristics and outcomes of 20 patients diagnosed with B-PTLD from 10 transplant centers belonging to the GEL/TAMO group were reviewed. Median time from transplant to B-PTLD was 7.2 years. All the cases fulfill the morphologic and genetic criteria of B-PTLD, whereas Epstein-Barr virus (EBV) was detected in 70% of cases. Patients were treated with different chemotherapy combinations, and three patients received upfront rituximab monotherapy. The great majority of patients receiving CHOP-like regimens attained a complete response (CR) (73%), similar to that obtained with dose-intensive chemotherapy (83% CR). In contrast, patients receiving upfront rituximab monotherapy required subsequent chemotherapy. Two patients (10%) died during treatment due to infection. The median progression-free survival and overall survival (OS) were 16 months and 139 months, respectively. When analyzing variables predicting for OS, we found that patients with bone marrow involvement had an adverse prognosis, with a median OS of 6 months (p = 0.008). In conclusion, B-PTLD is an uncommon complication usually associated with EBV infection and with an aggressive clinical course, particularly in patients with bone marrow involvement. High-dose chemoimmunotherapy obtained similar responses to R-CHOP, suggesting that R-CHOP could be an adequate alternative for these patients. In contrast, rituximab monotherapy does not seem to be effective enough to control the disease

Efficacy and safety of a fixed-ratio combination of insulin degludec and liraglutide (IDegLira) compared with its components given alone: Results of a phase 3, open-label, randomised, 26-week, treat-to-target trial in insulin-naive patients with type 2 diabetes

BACKGROUND: A fixed-ratio combination of the basal insulin analogue insulin degludec and the glucagon-like peptide-1 (GLP-1) analogue liraglutide has been developed as a once-daily injection for the treatment of type 2 diabetes. We aimed to compare combined insulin degludec-liraglutide (IDegLira) with its components given alone in insulin-naive patients. METHODS: In this phase 3, 26-week, open-label, randomised trial, adults with type 2 diabetes, HbA1c of 7-10% (inclusive), a BMI of 40 kg/m(2) or less, and treated with metformin with or without pioglitazone were randomly assigned (2:1:1) to daily injections of IDegLira, insulin degludec, or liraglutide (1\ub78 mg per day). IDegLira and insulin degludec were titrated to achieve a self-measured prebreakfast plasma glucose concentration of 4-5 mmol/L. The primary endpoint was change in HbA1c after 26 weeks of treatment, and the main objective was to assess the non-inferiority of IDegLira to insulin degludec (with an upper 95% CI margin of 0\ub73%), and the superiority of IDegLira to liraglutide (with a lower 95% CI margin of 0%). This study is registered with ClinicalTrials.gov, number NCT01336023. FINDINGS: 1663 adults (mean age 55 years [SD 10], HbA1c 8\ub73% [0\ub79], and BMI 31\ub72 kg/m(2) [4\ub78]) were randomly assigned, 834 to IDegLira, 414 to insulin degludec, and 415 to liraglutide. After 26 weeks, mean HbA1c had decreased by 1\ub79% (SD 1\ub71) to 6\ub74% (1\ub70) with IDegLira, by 1\ub74% (1\ub70) to 6\ub79% (1\ub71) with insulin degludec, and by 1\ub73% (1\ub71) to 7\ub70% (1\ub72) with liraglutide. IDegLira was non-inferior to insulin degludec (estimated treatment difference -0\ub747%, 95% CI -0\ub758 to -0\ub736, p<0\ub70001) and superior to liraglutide (-0\ub764%, -0\ub775 to -0\ub753, p<0\ub70001). IDegLira was generally well tolerated; fewer participants in the IDegLira group than in the liraglutide group reported gastrointestinal adverse events (nausea 8\ub78 vs 19\ub77%), although the insulin degludec group had the fewest participants with gastrointestinal adverse events (nausea 3\ub76%). We noted no clinically relevant differences between treatments with respect to standard safety assessments, and the safety profile of IDegLira reflected those of its component parts. The number of confirmed hypoglycaemic events per patient year was 1\ub78 for IDegLira, 0\ub72 for liraglutide, and 2\ub76 for insulin degludec. Serious adverse events occurred in 19 (2%) of 825 patients in the IDegLira group, eight (2%) of 412 in the insulin degludec group, and 14 (3%) of 412 in the liraglutide group. INTERPRETATION: IDegLira combines the clinical advantages of basal insulin and GLP-1 receptor agonist treatment, resulting in improved glycaemic control compared with its components given alone