Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Occupational stress and coping among portuguese military police officers

This study describes the professional experience of military police officers from the Portuguese Republican National Guard (N = 95). We focused on the main sources and consequences of stress and the coping strategies used to deal with stress. The evaluation protocol included one closed-ended question and four open-ended questions. Data analysis of meaningful text segments was conceptually based and data categorization followed deductive content analysis. Results allowed the identification of 483 meaning units. Factors intrinsic to the job and the relationships at work were the main stressors referred by participants. The consequences of stressors were evident at an individual level, affecting family, psychological, and physical/health domains. The coping strategies used to deal with the main source of stress in the professional career were focused on problem solving (e.g., active confrontation) and emotional regulation (e.g., situation acceptance). Practical implications and future avenues of research with these professionals are discussed.

Differences in muscular activity between obese and non-obese workers during manual lifting

The prevalence of obesity is increasing throughout the workforce. Manual lifting tasks are common and can produce significant muscle loading. This study compared muscular activity between obese and non-obese subjects, using surface Electromyography (EMG), during manual lifting. Six different lifting tasks (with 5, 10 and 15 kg loads in free and constrained styles) were performed by 14 participants with different obesity levels. EMG data normalization was based on the percentage of Maximum Contraction during each Task (MCT). Muscle Activation Times (AT) before each task were also evaluated. The study suggests that obesity can increase MCT and delay muscle AT. These findings reinforce the need to develop further studies focused on obesity as a risk factor for the development of musculoskeletal disorders.