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.

Cognitive stimulation for portuguese older adults with cognitive impairment: a randomized controlled trial of efficacy, comparative duration, feasibility and experiential relevance

Although some studies point to cognitive stimulation as a beneficial therapy for older adults with cognitive impairments, this area of research and practice is still lacking dissemination and is underrepresented in many countries. Moreover, the comparative effects of different intervention durations remain to be established and, besides cognitive effects, pragmatic parameters, such as cost-effectiveness and experiential relevance to participants, are seldom explored. In this work, we present a randomized con- trolled wait-list trial evaluating 2 different intervention durations (standard 1⁄4 17 vs brief 1⁄4 11 sessions) of a cognitive stimulation program developed for older adults with cognitive impairments with or without dementia. 20 participants were randomly assigned to the standard duration intervention program (17 sessions, 1.5 months) or to a wait-list group. At postintervention of the standard intervention group, the wait-list group crossed over to receive the brief intervention program (11 sessions, 1 month). Changes in neuropsychological, functionality, quality of life, and caregiver outcomes were evaluated. Experience during intervention and costs and feasibility were also evaluated. The current cognitive stimulation programs (ie, standard and brief) showed high values of experiential relevance for both intervention durations. High adherence, completion rates, and reasonable costs were found for both formats. Further studies are needed to definitively establish the potential efficacy, optimal duration, cost-effectiveness, and experiential relevance for participants of cognitive intervention approaches.