Predicting who suffers psychological trauma in the first year after a road accident

This study followed up a cohort (n = 72) of consecutive road accident attendees to hospital for one year, assessing them soon after the accident and 3, 6 and 12 months later with the General Health Questionnaire (28-item version); Impact of Event Scale and Posttraumatic Stress Disorder Interview. The aim of the study was to identify demographic, accident and subjective reality variables that could predict who was likely to suffer psychological disorder in the future. The extent of injury was a particular focus for the study. Results showed that at different time periods, using stepwise, multiple regression analyses, between 12 and 77% of variance in trauma measures could be predicted. Severity of injury was a stronger predictor longer after the accident.     

The control of alcohol-related aggression: Redirecting the inebriate's attention to socially appropriate conduct

Forty male undergraduates ingested either a high dose of alcohol or a placebo, and were either provided with a nonaggressive norm or not, prior to being provoked by an opponent during a competitive reaction time task. Aggression was assessed by the intensity of shocks administered by the subject to the bogus opponent. Results suggest that the provision of an explicit nonaggressive norm enabled highly intoxicated subjects to moderate their aggressive responding even in a highly competitive situation. These findings are discussed in terms of current cognitive disruption models of alcohol-related aggression which assume intoxicated persons are unable to process information concerning appropriate standards of conduct.     

Curry-Howard Terms for Linear Logic

In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.