The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms

The Lambek calculus introduced in Lambek [6] is a strengthening of the type reduction calculus of Ajdukiewicz [1]. We study Associative Lambek Calculus L in Gentzen style axiomatization enriched with a finite set Γ of nonlogical axioms, denoted by L(Γ).It is known that finite axiomatic extensions of Associative Lambek Calculus generate all recursively enumerable languages (see Buszkowski [2]). Then we confine nonlogical axioms to sequents of the form p → q, where p and q are atomic types. For calculus L(Γ) we prove interpolation lemma (modifying the Roorda proof for L [10]) and the binary reduction lemma (using the Pentus method [9] with modification from [3]). In consequence we obtain the weak equivalence of the Context-Free Grammars and grammars based on L(Γ).     

Hemispheric dominance in schizophrenics as determined on extrapyramidal side effects of neuroleptics

Phenomena observed during treatment with neuroleptics were clinically measured in an attempt to determine the difference in vulnerability of the two hemispheres and the relation between this difference and schizophrenic diseases. In the group of systematic schizophrenias the increase in tonus was significantly higher in the dominant hemisphere. This finding is considered a verification of the nosological hypothesis of schizophrenias.     

Plasma ACTH, STH and other hormone levels in various groups under chlormethiazole, haloperidol or reserpine load in alchohol delirium, alcoholic hallucinations, and chronic alcoholism]

Studies of 135 men with safely diagnosed alcohol delirium mostly revealed increased ACTH blood values when sober and increased T4 values in about 1/3 of these patients. There is a correlation between the psychiatric clinical picture of the alcohol delirium and the ACTH content of the plasma. Under load with chloromethiazole, halperidole or with reserpine, there is a significant drop in the increased ACTH and T4 values. In an acute alcoholic hallucinosis (n=16) similar endocrinological changes as in most cases of safely diagnosed alcohol delirium were observed. In a chronic alcoholic hallucinosis (n=11) and in chronic alcoholics (n=31) the endocrinological values were similar to those of patients after alcohol delirium.