Sequent-systems and groupoid models. I

The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural rules. Next, Hubert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.The first part of the paper, which follows, contains the first two sections, which deal with sequent-systems and Hubert-formulations. The second part, due to appear in the next issue of this journal, will contain the third section, which deals with groupoid models.     

Sleep in the dove Zenaida asiatica

Electrographic and behavioral observations were made in five adult birds of the genus Zenaida asiatica. Five different vigilance states were quantitated: (1) Active waking (Aw) was characterized by constant behavioral activity; the nuchal electromyogram was tonically active with bursts associated to movements. The electroencephalographic pattern was low voltage and high frequency. (2) Quiet waking (Qw) was characterized by diminished behavioral activity and the EEG pattern was similar to that of Aw. (3) Drowsiness (D) was characterized by behavioral calm. Frequency of cerebral activity diminished progressively, but there were short periods of desynchronization corresponding to brief awakenings. (4) Slow wave sleep (SWS); during this period there was behavioral rest and EEG pattern of continuous slow waves and the nuchal EMG was tonically reduced. Spindles of sleep were not observed. (5) Paradoxical sleep (SP), behaviorally characterized by phasic manifestations consisting of noddings originated by rapid falling down of head and bursts of rapid eye movements. EEG activity was like that of waking state. EMG activity was maintained at the same level as during SWS but sometimes it decreased lightly. Total atonie was not observed. Sleep percentages were higher when recordings were done during the nocturnal period.     

Smoking, body weight, and their effects on smoking behavior: a comprehensive review of the literature

This article provides a comprehensive review of the research on smoking and body weight. The relationships between smoking and body weight are evaluated in 70 cross-sectional and longitudinal investigations. The mechanisms responsible for differences in body weight are discussed, the weight-related issues that promote smoking behavior are reviewed, methods for reducing postcessation weight gain are summarized, and future research directions are proposed. A proposed working research model for studying the relationship between smoking, energy balance, and weight gain is offered. It is concluded that smoking and body weight relationships are closely related and pose significant challenges for smoking researchers.     

The psychological cost of waiting

The study of any problem involving waiting situations invariably assumes that people dislike having to wait. The analysis of queueing problems usually prescribes that some costs should be associated with the time people spend waiting to be served. These are usually considered to be of an economic nature, though the existence of other costs of a psychological nature is accepted. It is generally accepted that after having to wait for a certain amount of time, anxiety and stress start to build up in an individual, due both to the sense of waste and the uncertainty involved in a waiting situation. This work provides a theoretical basis for analysing this building up process as it occurs during the waiting period. It is proved that, under very general conditions, the resulting psychological stress accumulated during the process is a marginal increasing function of the waiting time, and some strategies to minimise it are developed. The results obtained give theoretical support to the usual assumptions underlying the development of systems to provide “real time” information to people in waiting situations. This is especially important in the operation of public transportation systems. The results also provide theoretical support to the “convex” treatment usually given to the waiting cost function in queueing problems.     

“Put a Little Love in Your Heart”: Acceptance of Paternalistic and Ally Political Discourses Both Predict Pro-Roma Solidarity Intentions Through Moral Inclusion

The way politicians talk about minorities institutes the normative context of intergroup relations. We investigated how endorsement of different political discourses predicts donation and collective action intentions by majority members toward the Roma in five European countries. The survey was conducted online using samples demographically similar to the populations of Hungary, Slovakia, Romania, France, and Ireland (N = 5,054). First, results showed that accepting paternalistic discourse versus discourse promoting allyship were not distinguishable; both promoted higher moral inclusion which in turn predicted higher prosocial intentions. Second, donations (i.e., immediate relief) and collective action (i.e., social change action) were driven by identical factors. Third, acceptance of openly hostile political discourse neither predicted moral exclusion, nor lower prosocial intentions. In summary, our research provides important evidence that when it comes to Roma—non-Roma relations, the previously established distinction between solidarity intentions that aim to solidify status relations versus bring about social change is completely blurred, presumably because of the social context in which any positive message communicates moral inclusion challenging the hostile status quo.     

Comprehension of nonlexical categories in agrammatism

The focus of the paper is a proposal advanced by Grodzinsky (1984, 1986, 1990) concerning a possible syntactic deficit in agrammatism with respect to nonlexical categories. Eight native speakers of Serbo-Croatian, who presented a clinical picture of Broca's aphasia with agrammatism, were tested. Subject's sensitivity to traces and their knowledge of the inflectional and determiner system was investigated using a grammaticality judgment paradigm. The processing load was further minimized by use of short sentences that unequivocally exemplified different syntactic violations. These steps led to significant improvement in the performance of agrammatic aphasics, a result that is incompatible with the claim that the content of nonlexical elements is lost in agrammatism.A partial account of the findings was presented at the 31 st Meeting of the Academy of Aphasia, October 24–26, 1993. Tucson, Arizona. The authors gratefully acknowledge help in data collection from Mile Vukovi, Faculty of Defectology, University of Belgrade, and from Jovanka Jezdimirovi and Veronika Ispanovi-Radojkovi, the Institute for Mental Health in Belgrade. This research was supported in part by a grant (HD-01994) to Haskins Laboratories from the National Institute of Child Health and Human Development.     

Sensorimotor synchronization: Motor responses to pseudoregular auditory patterns

Musically trained and untrained subjects (N=30) were asked to synchronize their finger tapping with stimuli in auditory patterns. Each pattern comprised six successive tonal stimuli of the same duration, the first of which was accented by a different frequency. The duration of interstimulus onset intervals (ISIs) gradually increased or decreased in constant steps toward the end of the patterns. Four values of such steps were used in different trials: 20, 30, 45, and 60 msec. Various time-control mechanisms are hypothesized as being simultaneously responsible for subjects’ incorrect reproduction of the internal temporal ratios of the stimulus patterns. The mechanism of assimilation (of a central tendency) led subjects to enforce a regular (isochronous) structure on the patterns. The influence of other time-control mechanisms (distinction, subjective expression of an accent, sequential transfer) was expressed mainly in differences between intertap onset intervals (ITIs) and the corresponding ISIs at the beginning of the patterns. The duration of the first two ITIs was in the majority of the trials in an inverse ratio to the ratio of the respective ISIs. The distortions resulting from the timing mechanisms concerned were more pronounced in the performance of nonmusicians than in that of musicians.