Rasiowa–Sikorski deduction systems in computer science applications

AbstractA Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula. There may also be expansion rules which close indecomposable sequences under certain properties of relations appearing in the formulae, like symmetry or transitivity. Proofs are finite decomposition trees with leaves having “fundamental”, valid labels. The author describes a general method of applying the R-S formalism to develop complete deduction systems for various brands of C.S and A.I. logic, including a logic for reasoning about relative similarity, a three-valued software specification logic with McCarthy's connectives and Kleene quantifiers, a logic for nondeterministic specifications, many-sorted FOL with possibly empty carriers of some sorts, and a three-valued logic for reasoning about concurrency

Prognosis and serum creatinine levels in acute renal failure at the time of nephrology consultation: an observational cohort study

The aim of this study is to evaluate the association between acute serum creatinine changes in acute renal failure (ARF), before specialized treatment begins, and in-hospital mortality, recovery of renal function, and overall mortality at 6 months, on an equal degree of ARF severity, using the RIFLE criteria, and comorbid illnesses. METHODS: Prospective cohort study of 1008 consecutive patients who had been diagnosed as having ARF, and had been admitted in an university-affiliated hospital over 10 years. Demographic, clinical information and outcomes were measured. After that, 646 patients who had presented enough increment in serum creatinine to qualify for the RIFLE criteria were included for subsequent analysis. The population was divided into two groups using the median serum creatinine change (101%) as the cut-off value. Multivariate non-conditional logistic and linear regression models were used. RESULTS: A >or= 101% increment of creatinine respect to its baseline before nephrology consultation was associated with significant increase of in-hospital mortality (35.6% vs. 22.6%, p < 0.001), with an adjusted odds ratio of 1.81 (95% CI: 1.08-3.03). Patients who required continuous renal replacement therapy in the >or= 101% increment group presented a higher increase of in-hospital mortality (62.7% vs 46.4%, p = 0.048), with an adjusted odds ratio of 2.66 (95% CI: 1.00-7.21). Patients in the >or= 101% increment group had a higher mean serum creatinine level with respect to their baseline level (114.72% vs. 37.96%) at hospital discharge. This was an adjusted 48.92% (95% CI: 13.05-84.79) more serum creatinine than in the < 101% increment group. CONCLUSION: In this cohort, patients who had presented an increment in serum level of creatinine of >or= 101% with respect to basal values, at the time of nephrology consultation, had increased mortality rates and were discharged from hospital with a more deteriorated renal function than those with similar Liano scoring and the same RIFLE classes, but with a < 101% increment. This finding may provide more information about the factors involved in the prognosis of ARF. Furthermore, the calculation of relative serum creatinine increase could be used as a practical tool to identify those patients at risk, and that would benefit from an intensive therapy

Inhaled corticosteroids and long-acting beta-agonists in adult asthma: a winning combination in all?

In the recent years, considerable insight has been gained in to the optimal management of adult asthma. Most adult patients with asthma have mild intermittent and persistent disease, and it is acknowledged that many patients do not reach full control of all symptoms and signs of asthma. Those with mild persistent asthma are usually not well controlled without inhaled corticosteroids (ICS). Studies have provided firm evidence that these patients can be well controlled when receiving ICS, especially when disease is of recent onset. This treatment should be given on a daily basis at a low dose and when providing a good response should be maintained to prevent severe exacerbations and disease deterioration. Intermittent ICS treatment at the time of an exacerbation has also been suggested as a strategy for mild persistent asthma, but it is less effective than low-dose regular treatment for most outcomes. Adding a long-acting beta-agonist (LABA) to ICS appears to be unnecessary in most of these patients for optimising control of their asthma. Patients with moderate persistent asthma can be regarded as those who are not ideally controlled on low-dose ICS alone. The combination of an ICS and LABA is preferred in these patients, irrespective of the brand of medicine, and this combination is better than doubling or even quadrupling the dose of ICS to achieve better asthma control and reduce exacerbation risks. An ICS/LABA combination in a single inhaler represents a safe, effective and convenient treatment option for the management of patients with asthma unstable on inhaled steroids alone. Ideally, once asthma is under full control, the dose of inhaled steroids should be reduced, which is possible in many patients. The duration of treatment before initiating this dose reduction has, however, not been fully established. One of the combinations available to treat asthma (budesonide and formoterol) has also been assessed as both maintenance and rescue therapy with a further reduction in the risk for a severe exacerbation. Clinical effectiveness in the real world now has to be established, since this approach likely improves compliance with regular maintenance therapy

A systematic review of communication interventions to help healthcare professionals discuss genetic testing for breast cancer

Purpose This systematic review examined educational training interventions for healthcare professionals (HCPs) discussing genetic testing and risk for hereditary breast cancer. There was a particular focus on the presence, and content, of communication elements within these packages. Methods Searches were run via CINAHL, EMBASE, PUBMED, and PsychInfo in February 2019 to identify training interventions available to HCPs with reference to communication skills. Studies were assessed for quality, with relevant intervention and outcome data extracted and synthesized. This review followed the Preferred Reporting Items for Systematic Review and Meta-analyses (PRISMA) statement and was registered on the PROSPERO database (CRD42019124010). Results of 3,988 items, seven papers, two of which were linked, were eligible for inclusion. There was a mix of randomized and single arm studies with web-based and face-to-face interventions. Content included an overview of genetics, hereditary and familial background, and recommended practice techniques. Outcomes focused on communication, self-efficacy, knowledge, and satisfaction. Interventions were designed for genetic counselors, physicians, primary care physicians (PCPs), medical students, and nurses. None of the papers featured oncologists or surgeons. Conclusions This review revealed an overall lack of publications which evaluated interventions to assist HCPs discussing hereditary breast cancer risk and testing. Studies failed to operationalize which ‘communication skills’ they included, nor did they consistently report randomization, outcome measures, or analysis. Discussing the need for, and management of, genetic testing for inherited cancer risk with individuals and their families can be challenging. As genetic testing in breast cancer becomes more common, the provision of specific communication-based training programs, with reference to genetic testing, risk assessments, and counseling skills is warranted

Corporate boards and the performance of Asian firms: A meta-analysis

The prevalence of ownership concentration in Asian firms presents a challenge to the influential agency theory-based understanding of the role of corporate boards. In this paper we develop and test hypotheses about board attributes and firm performance that reflect Asian institutional conditions. We present the first meta-analysis of the relationship between board attributes and performance of Asian firms using a varied set of meta-analytical techniques on a database of 86 studies covering nine Asian countries. First, we find that board structure and composition preferences are influenced by the identity of the concentrated owner. Second, consistent with US data, we find very limited evidence of a direct relationship between board attributes and firm financial performance in the Asian context. Third, we find that the relationship between board structure and composition and firm performance is mediated by the revealed strategic preferences of Asian firms specifically by the level of R&D investment