Intensional Completeness in an Extension of Gödel/Dummett Logic

We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives a natural extension by lax modality of the well-known G: odel/Dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : | L |= p : } characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of and completely recovered by a suitable semantic interpretation of proofs.     

Dokumentation auf einer Station für psychosomatische Medizin und Psychotherapie

The documentation system for a psychosomatic-psychotherapeutic ward must integrate and process medical and psychotherapeutic treatment in a way that allows, over and above transparence and completeness, the constructive use of the collected information. But how to describe the increasingly complex picture of the patient during a stay on the ward, and how to utilize it effectively for his treatment? The search for satisfying answers has led the Department of Psychosomatics and Psychotherapy of the Clinic of the University of Münster to develop a new documentation system that will meet such demands. The system is innovative in visualizing and using the progression of the different therapeutic offers, in addition to introducing a “synopsis” of the dysfunctional relationship patterns and the individual psychodynamic background, which permits a swift overview of a patient’s treatment during his whole stay. This allows optimization of the multimodal treatment concept.