Natural Deduction for Non-Classical Logics

We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and proof normalization. We have implemented our work in the Isabelle Logical Framework.     

Concurrent validity of Holland's theory for non-college-degreed working women

This study, using the Vocational Preference Inventory (VPI) and the Self-Directed Search (SDS), explored the concurrent validity of Holland's theory for employed non-college-degreed women. The VPI and SDS were administered to 114 women workers in occupational environments consistent with Holland's vocational environments. The results revealed that three scales of the VPI and five scales of the SDS successfully differentiated the occupational groups consistent with Holland's theoretical notions. In general, the findings lend some support to the concurrent validity of Holland's theory for employed non-college-degreed women.     

Does who you marry matter for your health? Influence of patients' and spouses' personality on their partners' psychological well-being following coronary artery bypass surgery

Research suggests that presurgical personality attributes influence postsurgical well-being in both patients and their spouses in the context of coronary artery bypass grafting (CABG) surgery. The authors hypothesized that a spouse's characteristics would influence a partner's psychological well-being, regardless of whether he or she was the patient or the caregiver. In this study, 111 male patients and their caregiver spouses completed measures of neuroticism, optimism, perceived marital satisfaction, and depression prior to elective CABG. Follow-up was conducted at 18 months. As expected, higher caregiver presurgical neuroticism predicted higher patient depressive symptoms at follow-up, with caregiver's concurrent 18-month affect controlled for. Likewise, higher patient presurgical neuroticism predicted higher caregiver depressive symptoms at follow-up. Additionally, higher patient presurgical depressive symptoms and lower presurgical optimism contributed to greater caregiving burden. Relationship satisfaction moderated these effects. These results suggest that partners' personality traits are important determinants of both patients' and their caregiving spouses' well-being.     

Cognition and belief in paranormal phenomena: gestalt/feature-intensive processing theory and tendencies toward ADHD, depression, and dissociation

Belief in paranormal phenomena and cryptids--unknown animals such as Bigfoot--may predispose individuals to interpret real-world objects and events in the same way that eyewitness identification can be biased by unrelated information (P. James and N. Thorpe, 1999). Psychological tendencies toward attention deficit hyperactivity disorder (ADHD), dissociation, and depression, even at subclinical levels, may be associated systematically with particular paranormal or cryptozoological beliefs. The authors evaluated these psychological tendencies using the Conners Adult ADHD Rating Scales (C. K. Conners, D. Erhardt, and E. Sparrow, 1999), the Dissociative Experiences Scale (L. Coleman & J. Clark, 1999), and the Beck Depression Inventory-II (A. T. Beck, 1996). They performed regression analyses against beliefs in ghosts, unidentified flying objects (UFOs), extrasensory perception (ESP), astrology, and cryptids. ADHD, dissociation, and depression were associated with enhanced tendencies toward paranormal and cryptozoological beliefs, although participants who believed in each of the phenomena differed from one another in predictable and psychologically distinguishable ways. Cognitively biasing influences of preexisting psychological tendencies may predispose individuals to specific perceptual and cognitive errors during confrontation of real-world phenomena.     

Gender processes in school functioning and the mediating role of cognitive self-regulation

The catalysts for gender discrepancies across developmental outcomes are widely debated. This study examines cognitive self-regulation (CSR) as a mechanism for understanding gender differences in scholastic performance—both subjective school functioning and objective standardized achievement. Utilizing a national sample from the NICHD SECCYD (n = 1364), not only does CSR (i.e., attention and executive function) in 3rd grade mediate the relation between early mother–child interactions (at 54 months) and scholastic outcomes (in 5th grade), but it also predicts gender discrepancies favoring girls in grades, work persistence and socio-emotional development. Additional exploratory evidence suggests quality mother–child interactions may be more meaningful for girls' CSR; however, for boys, CSR is more predictive of school functioning. Both school functioning and standardized achievement were utilized in this study and highlight that gender differences in development and learning are nuanced and not readily discernible across all measures of scholastic performance. Implications for future research, intervention, and practice are discussed.     

LMX,Breach Perceptions,Work-Family Conflict,and Well-Being: A Mediational Model

Despite research advances, work-family scholars still lack an understanding of how leadership constructs relate to an employee's ability to effectively manage the work–family interface. In addition, there remains a need to examine the process through which leadership and work-family conflict influence well-being outcomes. Using a sample of 312 workers, a mediated process model grounded in social exchange theory is tested wherein the authors seek to explain how leaders shape employee perceptions, which, in turn, impact organizational fulfillment of expectations (i.e., psychological contract breach), work-family conflict, and well-being. A fully latent structural equation model was used to test study hypotheses, all of which were supported. Building on existing theory, findings suggest that the supervisor plays a critical role as a frontline representative for the organization and that work-family conflict is reduced and well-being enhanced through a process of social exchange between the supervisor and worker.