Proof Systems for Reasoning about Computation Errors

In the paper we examine the use of non-classical truth values for dealing with computation errors in program specification and validation. In that context, 3-valued McCarthy logic is suitable for handling lazy sequential computation, while 3-valued Kleene logic can be used for reasoning about parallel computation. If we want to be able to deal with both strategies without distinguishing between them, we combine Kleene and McCarthy logics into a logic based on a non-deterministic, 3-valued matrix, incorporating both options as a non-deterministic choice. If the two strategies are to be distinguished, Kleene and McCarthy logics are combined into a logic based on a 4-valued deterministic matrix featuring two kinds of computation errors which correspond to the two computation strategies described above. For the resulting logics, we provide sound and complete calculi of ordinary, two-valued sequents. Presented by Yaroslav Shramko and Heinrich Wansing     

The Role of Maternal Communication Patterns About Interparental Disputes in Associations Between Interparental Conflict and Child Psychological Maladjustment

The present study examined the role of mothers’ communication with children about interparental disputes in associations between interparental conflict and child psychological maladjustment in a sample of 227 children and their parents followed over a one-year span. Most of the time (i.e., 79.8%) mothers reported that they would communicate with their children following interparental disputes, with the vast majority of those communications containing relatively constructive depictions of interparental conflict. Post-conflict communications were not associated with children’s adjustment above and beyond the impact of interparental conflict. However, maternal communications underscoring family cohesion and warmth, emphasizing remorse for engaging in the interparental disagreement, and denying the occurrence of the dispute each moderated associations between interparental conflict and child externalizing symptoms in distinct, complex ways. The findings in general suggest that not all positive communications have the beneficial impact on children that parents may have intended.     

Hope as a Psychological Factor Affecting Quality of Life in Patients With Psoriasis

Clinical observations and medical reports indicate that psoriasis has a tremendous impact on patients’ lives, lowering their quality in many important areas. However, the vast majority of research deals only with health-related issues. This study aimed to compare the general quality of life of psoriasis patients and healthy volunteers by examining psychological variables thought to modify the quality of life. 42 patients with psoriasis and 42 healthy volunteers matched for gender, age and education level were tested. Flanagan Quality of Life Scale was used to evaluate general quality of life. Basic hope level was assessed with Basic Hope Inventory. Trait hope was estimated using Trait Hope Scale. Psoriasis Area Severity Index was used to assess the severity of the disease. Psoriasis patients have a significantly lower overall quality of life (p?=?0.05), modified by Physical and Material Well-being (p?=?0.01), Personal Development and Fulfillment (p?=?0.03), and Recreation (p?=?0.04). They also have lower levels of trait hope (p?=?0.04) and its agency component (p?=?0.01). There were moderate, negative significant correlations with basic hope and such components of quality of life as Physical and Material Well-being (p?=?0.03, r?=?? 0.34) and Relations with other People (p?=?0.02, r?=?? 0.35). These results support the hypothesis of a reduced general quality of life and trait hope in psoriatics. Thus, psychological help for people suffering from dermatological disorders might be as important as medical intervention. Basic hope can be treated as a resource in coping with these disorders and trait hope as a resource conducive to well-being.     

Language-induced motor perturbations during the execution of a reaching movement

In a recent study Boulenger et al. (2006) found that processing action verbs assisted reaching movement when the word was processed prior to movement onset and interfered with the movement when the word was processed at movement onset. The present study aimed to further corroborate the existence of such cross-talk between language processes and overt motor behaviour by demonstrating that the reaching movement can be disturbed by action words even when the words are presented delayed with respect to movement onset (50 ms and 200 ms). The results are compared to studies that show language-motor interaction in conditions where the word is presented prior to movement onset and are discussed within the context of embodied theories of language comprehension.     

Mutual gaze and social cognition

I examine the role of mutual gaze in social cognition. I start by discussing recent studies of joint visual attention in order to show that social cognition is operative in infancy prior to the emergence of theoretical skills required to make judgments about other people's states of mind. Such social cognition depends on the communicative potential inherent in human bodies. I proceed to examine this embodied social cognition in the context of Merleau-Ponty's views on vision. I expose some inner difficulties within Merleau-Ponty's position as well as to point out the ways of resolving them by means of combined insights from developmental psychology and the analyses of self-other relations from philosophies of dialogue.     

Changes in Body Mass Index and Quality of Life—Population-Based Follow-up Study COURAGE and COURAGE-POLFUS,Poland

Applied Research in Quality of Life - The study aimed to verify an association between changes in body mass index (BMI) and quality of life (QoL) in a 4-year follow-up in a population-based study...     

Decomposition Proof Systems for Gödel-Dummett Logics

The main goal of the paper is to suggest some analytic proof systems for LC and its finite-valued counterparts which are suitable for proof-search. This goal is achieved through following the general Rasiowa-Sikorski methodology for constructing analytic proof systems for semantically-defined logics. All the systems presented here are terminating, contraction-free, and based on invertible rules, which have a local character and at most two premises.