Quantified extensions of canonical propositional intermediate logics

The quantified extension of a canonical prepositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a category.     

A follow-up study on students attending a university counselling service in Northern Italy

The aims of this study were to evaluate the effectiveness of a university counselling service in Northern Italy, to assess the sociodemographic and clinical characteristics of students who used counselling service, and to assess the psychological conditions of the students who ended the counselling after a 4 month follow-up period. The study involved 100 students, who filled out the General Health Questionnaire (GHQ-12), the Brief COPE Inventory, and the Symptom Checklist-90-Revised (SCL-90-R). The results showed that who received counselling were positively affected by this experience. The areas of benefit were psychological well-being, coping behaviours, ability to positively reframe problems and less sense of guilt. Additional studies are needed to identify which factors influence the outcomes of university counselling services in Italy. These studies would be important to evaluate the services rendered, upgrade the skills of counsellors and visualise priority areas of need.     

Undefinability of propositional quantifiers in the modal system S4

We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS4² (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and □.     

Admissible Bases Via Stable Canonical Rules

We establish the dichotomy property for stable canonical multi-conclusionrules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.     

On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics

By using algebraic-categorical tools, we establish four criteria in order to disprove canonicity, strong completeness, w-canonicity and strong w-completeness, respectively, of an intermediate propositional logic. We then apply the second criterion in order to get the following result: all the logics defined by extra-intuitionistic one-variable schemata, except four of them, are not strongly complete. We also apply the fourth criterion in order to prove that the Gabbay-de Jongh logic D₁ is not strongly w-complete. This revised version was published online in June 2006 with corrections to the Cover Date.     

Short-term limb immobilization affects motor performance

C. Ghez, J. Gordon, and M. R Ghilardi (1995; J. Gordon, M. R Ghilardi, & C. Ghez, 1995; R. L. Sainburg, M. R Ghilardi, H. Poizner, & C. Ghez, 1995) have found that proprio-ceptive deafferentation impairs feedforward and feedback mechanisms that control reaching movements. In the present study, the authors found immobilization-induced changes in limb kinematics, including joint motion, in 32 healthy participants who performed out-and-back movements before and after 0, 6, or 12 hr of immobilization of the left arm. Control participants did not undergo the arm immobilization procedure. Immobilization for 12 hr, but not 6 hr, caused trajectories with increased hand-path areas and altered interjoint coordination. The abnormalities were smaller in amplitude but similar in quality to those reported in deafferented patients (R. L. Sainburg et al.). In addition, movement onset point significantly drifted after immobilization. Thus, short-term limb disuse can affect interjoint coordination by acting on feedforward mechanisms. These behavioral alterations are potentially related to cortical plastic changes.