Changes in personality pathology after pharmacotherapy and combined therapy for depressed patients

The central question addressed by this article is whether courses of treatment consisting of pharmacotherapy or pharmacotherapy combined with psychotherapy (combined therapy) produce different changes in personality pathology at follow-up after 40 weeks. We also examined whether recovery from depression has an influence on outcome. The study population consisted of 128 outpatients in whom personality pathology and severity of depression were determined at the start of the study. For 72 patients, personality pathology and severity of depression were determined again after 40 weeks. Of the group of 72 patients, 25 patients received only pharmacotherapy for 6 months, and 47 patients received combined treatment (pharmacotherapy and psychodynamic supportive psychotherapy). The antidepressant protocol provides for three successive steps in case of intolerance or inefficacy: fluoxetine, amitriptyline, and moclobemide. The combined therapy condition consisted of 16 sessions of Short Psychodynamic Supportive Psychotherapy in addition to pharmacotherapy. In the combined therapy condition there was a significant reduction in personality pathology in patients who recovered from depression but also in patients who had not. In the pharmacotherapy condition the significant decrease was restricted to patients who recovered from depression. The results were most striking for Cluster C psychopatology. Patients with cluster B pathology changed the least. Depressed patients with comorbid personality pathology appear to benefit most from a combination of pharmacotherapy and a form of short, psychodynamic, supportive psychotherapy.     

Proof Nets for the Multimodal Lambek Calculus

We present a novel way of using proof nets for the multimodal Lambek calculus, which provides a general treatment of both the unary and binary connectives. We also introduce a correctness criterion which is valid for a large class of structural rules and prove basic soundness, completeness and cut elimination results. Finally, we will present a correctness criterion for the original Lambek calculus Las an instance of our general correctness criterion.