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

Medication therapy management clinic: perception of healthcare professionals in a University medical center setting

Objective: To determine the overall perception and utilization of the pharmacist managed medication therapy management (MTM) clinic services, by healthcare professionals in a large, urban, university medical care setting.Methods: This was a cross-sectional, anonymous survey sent to 195 healthcare professionals, including physicians, nurses, and pharmacists at The University of Illinois Outpatient Care Center to determine their perception and utilization of the MTM clinic. The survey consisted of 12 questions and was delivered through a secure online application. Results: Sixty-two healthcare professionals (32%) completed the survey. 82% were familiar with the MTM clinic, and 63% had referred patients to the clinic. Medication adherence and disease state management was the most common reason for referral. Lack of knowledge on the appropriate referral procedure was the prominent reason for not referring patients to the MTM clinic. Of the providers that were aware of MTM services, 44% rated care as ‘excellent’, 44% as ‘good’, 5% as ‘fair’, and 0% stated ‘poor’. Strengths of MTM clinic identified by healthcare providers included in-depth education to patients, close follow-up, and detailed medication reconciliation provided by MTM clinic pharmacists. Of those familiar with MTM clinic, recommendations included; increase marketing efforts to raise awareness of the MTM clinic service, create collaborative practice agreements between MTM pharmacists and physicians, and ensure that progress notes are more concise.Conclusion: In a large, urban, academic institution MTM clinic is perceived as a valuable resource to optimize patient care by providing patients with in-depth education as it relates to their prescribed medications and disease states. These identified benefits of MTM clinic lead to frequent patient referrals specifically for aid with medication adherence and disease state management