A Note on the Use of Sum in the Logic of Proofs

The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present in the language. In particular, Artemov showed that three operations on proofs (application~$\cdot$, positive introspection~!, and sum~+) are sufficient to mimic provability concealed in S4~modality. While the first two operations go back to G{\"o}del, the exact role of~+ remained somewhat unclear. In particular, it was not known whether the other two operations are sufficient by themselves. We provide a positive answer to this question under a very weak restriction on the axiomatization of LP.

Recommendations for the use of ultrasound in rheumatoid arthritis: literature review and SONAR score experience

Ultrasound (US) has become a useful tool in the detection of early disease, differential diagnosis, guidance of treatment decisions and treatment monitoring of rheumatoid arthritis (RA). In 2008, the Swiss Sonography in Arthritis and Rheumatism (SONAR) group was established to promote the use of US in inflammatory arthritis in clinical practice. A scoring system was developed and taught to a large number of Swiss rheumatologists who already contributed to the Swiss Clinical Quality Management (SCQM) database, a national patient register. This paper intends to give a Swiss consensus about best clinical practice recommendations for the use of US in RA on the basis of the current literature knowledge and experience with the Swiss SONAR score. Literature research was performed to collect data on current evidence. The results were discussed among specialists of the Swiss university centres and private practice, following a structured procedure. Musculoskelatal US was found to be very helpful in establishing the diagnosis and monitoring the evolution of RA, and to be a reliable tool if used by experienced examiners. It influences treatment decisions such as continuing, intensifying or stepping down therapy. The definite modalities of integrating US into the diagnosis and monitoring of RA treatments will be defined within a few years. There are, however, strong arguments to use US findings as of today in daily clinical care. Some practical recommendations about the use of US in RA, focusing on the diagnosis and the use of the SONAR score, are proposed.

CECOG experts' recommendations on the use of denosumab in the prevention of skeletal-related events in bone metastases of lung cancer

Purpose Skeletal-related events represent a substantial burden for patients with advanced cancer. Randomized, controlled studies suggested superiority of denosumab over zoledronic acid in the prevention of skeletal-related events in metastatic cancer patients, with a favorable safety profile. Experts gathered at the 2012 Skeletal Care Academy in Istanbul to bring forward practical recommendations, based on current evidence, for the use of denosumab in patients with bone metastases of lung cancer. Recommendations Based on current evidence, use of denosumab in lung cancer patients with confirmed bone metastases is recommended. It is important to note that clinical judgment should take into consideration the patient’s general performance status, overall prognosis, and live expectancy. Currently, the adverse event profile reported for denosumab includes hypocalcemia and infrequent occurrence of osteonecrosis of the jaw. Therefore, routine calcium and vitamin D supplementation, along with dental examination prior to denosumab initiation are recommended. There is no evidence for renal function impairment due to denosumab administration. At present, there is no rationale to discourage concomitant use of denosumab and surgery or radiotherapy.

Questions and answers regarding the use of rivaroxaban in daily practice.

Several new oral anticoagulants are now on the Swiss market and the general practitioner faces new challenges regarding the management of these new drugs. This consensus document aims to answer to the most frequently asked questions regarding rivaroxaban and covers different topics such as indications, initiation of treatment, drug-drug interactions and perioperative management.

The use of homeopathy in obstetrics in Switzerland

Objective In 1999, a first study conducted in the German speaking part of Switzerland revealed that homeopathy was used in 73% of the obstetrics. The aim of this follow-up study was to detect possible changes in the use of homeopathy since the first investigation, as well as to expand the survey to all regions of Switzerland in order to explore possible regional differences. Furthermore, the perceived positive and negative effects of homeopathy were of interest. Methods All maternity clinics (n = 119) and birthing centers (n = 25) in Switzerland were invited to participate in this online-survey (total N = 144). Results The data collection is still ongoing. Preliminary analyses show that of the 144 obstetrics contacted, 16 had shut down. 106 (82%) had returned the complete or partial questionnaire, whereof 86 (81%) were completed by maternity clinics and 20 (19%) by birthing centers. 70 (66%) questionnaires were returned from the German, 31 (29%) from the French and 5 (5%) from the Italian part of Switzerland. A total of 77 (73%) obstetrics indicated to apply homeopathy: 61 maternity clinics (71% of the responding ones) and 16 birth centers (80% of the responding ones). Clear regional differences in the use of homeopathy emerged: While 65 of the homeopathy-applying obstetrics were located in the German part of Switzerland (84% of the responding ones), only 11 (35% of the responding ones) and 1 (20% of the responding ones) were situated in the French and Italian regions respectively. More detailed results will be presented at the conference. Conclusion Preliminary results show that homeopathy is widely used in the obstetrics of Switzerland. Cultural differences appeared: Homeopathy is widely used in the German speaking part of Switzerland, while it is modestly employed in the French and Italian regions.

Use of antimicrobials in food-producing animals in Switzerland and in the European Union (EU)

The intensive and inappropriate use of antibiotics in both medicine and agriculture has selected for antibiotic resistant bacteria that cause severe problems in antibiotic therapy. In animal husbandry, antibiotics are used for therapeutic and preventive treatments of infectious diseases and as growth promoters. In Europe, many antibiotics used as growth promoters were of the same classes as important antibiotics used in human medicine. The European Union withdrew the authorization for the use of the major antimicrobial growth promoters between 1996 and 1999. In 1999 Switzerland decided to ban the use of all antimicrobials as growthpromoting feed additives. The regulations concerning antibiotic use in animal husbandry and the chronological reasons for the ban of antimicrobial growth promoters are described. This ban led to a decrease of the antibiotic volume deployed in agriculture. This measure helps to reduce the amount of antibiotic resistant bacteria in food-producing animals. However, the use of medicated feed is still a common practice to prevent and to remedy bacterial infections and thus still leads to resistant pathogens. Surveillance programs, single animal treatment, good manufacturing practices and vaccinations are additional measures to be taken to keep the level of resistances in bacteria low.

Perioperative use of crystalloids in patients undergoing open radical cystectomy: balanced Ringer's maleate versus a glucose 5%/potassium-based balanced solution: study protocol for a randomized controlled trial

BACKGROUND The optimal crystalloid solution to use perioperatively in patients undergoing open radical cystectomy remains unclear. Many of the fluids used for intravenous hydration contain supraphysiologic concentrations of chloride, which can induce hyperchloremia and metabolic acidosis, resulting in renal vasoconstriction and decreased renal function. In addition, patients receiving less fluid and less sodium show faster recovery of gastrointestinal (GI) function after colonic surgery. METHODS AND DESIGN This is an investigator-initiated, single-center, randomized, controlled, parallel group trial with assessor-blinded outcome assessment, in the Department of Urology, University Hospital Bern, Switzerland. The study will involve 44 patients with bladder cancer scheduled for radical cystectomy and urinary diversion. The primary outcome is the duration between the end of surgery and the return of the GI function (first defecation). Secondary outcomes are fluid balance (body weight difference postoperatively versus preoperatively) and the incidence of kidney function disorders according to the Risk-Injury-Failure-Loss-End Stage Renal Disease (RIFLE classification). An equal number of patients are allocated to receive Ringerfundin® solution or a glucose/potassium-based balanced crystalloid solution as baseline infusion during the entire time that intravenous administration of fluid is necessary during the perioperative period. The randomized crystalloid solution is infused at a rate of 1 ml/kg/h until the bladder has been removed, followed by 3 ml/kg/h until the end of surgery. Postoperative hydration is identical in both groups and consists of 1,500 ml of the randomized crystalloid solution per 24 hours. Postoperative patient care is identical in both groups; patients are allowed to drink clear fluids immediately after surgery, and liquid diet is started on postoperative day 1, as well as active mobilization and the use of chewing gum. Body weight is measured daily in the morning. Time of first flatus and first defecation are recorded. DISCUSSION This trial assesses the benefits and harms of two different balanced crystalloid solutions for perioperative fluid management in patients undergoing open radical cystectomy with urinary diversion, with regard to return of GI function and effects on postoperative renal function. TRIAL REGISTRATION Current Controlled Trials ISRCTN32976792 (registered on November 21 2013).

The use of evidence in public debates in the media: the case of Swiss direct-democratic campaigns in the health policy sector

This article analyses the reporting of evidence in Swiss direct-democratic campaigns in the health policy sector, assuming that an informed public helps democracy function successfully. A content analysis of the media’s news reporting shows that of 5030 media items retrieved, a reference to evidence is found in 6.8%. The voter receives evidence in the form of substantiating arguments, equally distributed among proponents and opponents. Experts have the highest chance of providing evidence, but appear most rarely. Integrating more evidence might provide voters with the diversity of arguments needed to make a truly informed decision.

Assessing the cardiology community position on transradial intervention and the use of bivalirudin in patients with acute coronary syndrome undergoing invasive management: results of an EAPCI survey

AIMS Our aim was to report on a survey initiated by the European Association of Percutaneous Cardiovascular Interventions (EAPCI) collecting the opinion of the cardiology community on the invasive management of acute coronary syndrome (ACS), before and after the MATRIX trial presentation at the American College of Cardiology (ACC) 2015 Scientific Sessions. METHODS AND RESULTS A web-based survey was distributed to all individuals registered on the EuroIntervention mailing list (n=15,200). A total of 572 and 763 physicians responded to the pre- and post-ACC survey, respectively. The radial approach emerged as the preferable access site for ACS patients undergoing invasive management with roughly every other responder interpreting the evidence for mortality benefit as definitive and calling for a guidelines upgrade to class I. The most frequently preferred anticoagulant in ACS patients remains unfractionated heparin (UFH), due to higher costs and greater perceived thrombotic risks associated with bivalirudin. However, more than a quarter of participants declared the use of bivalirudin would increase after MATRIX. CONCLUSIONS The MATRIX trial reinforced the evidence for a causal association between bleeding and mortality and triggered consensus on the superiority of the radial versus femoral approach. The belief that bivalirudin mitigates bleeding risk is common, but UFH still remains the preferred anticoagulant based on lower costs and thrombotic risks.