The proof assistant Isabelle/HOL is based on an extension of HigherOrder Logic (HOL) with ad hoc overloading of constants. It turns out that the interaction between the standard HOL type definitions and the Isabelle-specific ad hoc overloading is problematic for the logical consistency. In previous work, we have argued that standard HOL semantics is no longer appropriate for capturing this inte...

Statistics show that more than 80% of Veterans mention posttraumatic stress disorder (PTSD)-related symptoms when seeking treatment. Sleep disturbances and nightmares are among the top 3 presenting problems. Current PTSD trauma-focused therapies generally do not improve sleep disturbances. The mantram repetition program (MRP), a mind-body-spiritual intervention, teaches a portable set of cognit...

OBJECTIVES The purpose of this study was to use a qualitative approach to better understand the importance and efficacy of addressing spiritual issues within an interdisciplinary bone marrow transplant clinic from the perspectives of patients and healthcare providers. SETTING Participants were recruited from the bone marrow transplant clinic of a large urban outpatient cancer care centre in w...

The relegation of spatial knowledge to a subordinate position has particular implications for examining mathematics underachievement. First, most of use have observed in our teaching that some mathematics underachievers (that is, those who have difficulty comprehending numerical ideas) can comprehend elementary spatial concepts but because they lack fluency in number they cannot make sense of t...

INTRODUCTION Nurses' spiritual wellbeing and their attitude toward spirituality and competence of nurses in providing of spiritual care can affect the quality of care in nursing. The aim of this study was to evaluate spiritual wellbeing, attitude toward spiritual care and its relationship with the spiritual care competence among nurses. METHODS This was a correlational descriptive study condu...

Breast cancer is the most common type of cancer among women that can causes many psychological problems in patients. The aim of this study was to assess the effectiveness of spiritual cognitive-emotional group therapy in the reduction of psychological problems in female patients suffering breast cancer. In this quasi-experimental study, the pretest-posttest design was used. From the hospitals, ...

English pronouns must agree with their antecedents in number. But in some situations, pronouns violate this constraint, as in "I think I'll order a frozen margarita. I just love them." Three situations are identified in which such violations occur: (1) Plural (and technically illegal) pronouns are used to refer to frequently or multiply occurring items or events (as opposed to a unique item/eve...