Logics of some kripke frames connected with Medvedev notion of informational types

Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM ₁. Some other definitions of negation inI() lead to logicsLM _n (n ). We study inclusions between these and other systems, proveLM _n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n < ). We also show that formulas in one variable do not separateLM from Heyting's logicH, andLM _n (n < ) from Scott's logic (H+S).     

Integration of noxious stimulation across separate somatosensory communications systems: a functional theory of pain

Functional measurement analyses and psychophysical techniques were used to assess how separate, cross-modal, aversive events are integrated in judgements of pain. Subjects made magnitude estimations of noxious stimuli produced by a 6 X 6 factorial design of electric shocks and loud tones. Group data and most of the individual results were consistent with a model of linear pain summation: The estimates of pain approximated the linear sum of the pain estimates of the individual electrocutaneous and auditory components. The relation between painful sensation and current intensity could be described by a mildly expansive power function with an exponent of about 1.1. Auditorily produced painful sensation related to sound pressure level by a mildly compressive power function with an exponent of about 0.90 as a representative figure. Results are interpreted in terms of a functional theory of pain. Noxious events are first transformed to psychological scale values via stimulus-specific psychophysical transfer functions. The outputs of these functions are then combined with other pain-related internal representations of either sensory or cognitive origin, according to simple algebraic models.     

Visual control of step length during running over irregular terrain

Running over uneven ground requires visually regulating step length to secure proper footing. To examine how this is achieved, we studied subjects running on a treadmill on a series of irregularly spaced targets. The movements of their lower limbs and coccyx relative to the targets were monitored opto-electronically by a Selspot system. The results indicated that step length was adjusted to strike the targets primarily by varying the vertical component of impulse applied to the ground during the stance phase. In contrast, horizontal impulse was not varied significantly, and changing the reach forward of the foot on landing contributed little to variation in step length. Changing the vertical impulse simply altered the step time proportionately. Thus the data are consistent with a time-based model in which vertical impulse is modulated by the optic variable delta tau (Lee, 1976) specifying the time gap that has to be bridged by the runner between two targets.     

Performance of normal and neurological mutant mice on radial arm maze and active avoidance tasks

The objectives of the present study are to assess the import of gene-imposed structural alterations on behavioral performance and obtain performance data preliminary to studies of experimental mouse chimera behavior. Reeler, staggerer, and weaver neurological mutant, and control B6C3 and ichthyosis mice were tested on radial arm maze and active avoidance tasks. Weaver mice had incapacitating seizures while performing the radial arm maze task and were, therefore, removed from further testing. Staggerer mice displayed a significant deficit on both tasks compared to control mice. Homozygous reeler mice (rl/rl) also had a significant deficit on the active avoidance task compared to +/rl control mice but not significantly poorer than ichthyosis mice. However, their performance on the radial arm maze task, while initially poor, improved so that they performed the task similar to wild-type controls. Three of the reeler mice reached criterion for solving the radial arm maze task. None of the staggerer mice reached criterion. These data are discussed in terms of the value of using neurologically mutant mice in dissecting structural-functional relationships. It is suggested that the behavior of these mutants might point toward specific components of cerebellar involvement in behavioral acts.     

Glucose effects on memory: behavioral and pharmacological characteristics

Recent findings indicate that post-training glucose injections can modulate memory storage for inhibitory (passive) avoidance training. Experiment I extended these findings to determine whether glucose, like other memory modulating treatments, enhances memory storage when administered after training with low footshock and impairs memory storage after high footshock training. In Experiment I, male Sprague-Dawley rats were trained in a one-trial inhibitory avoidance task using either a brief footshock (0.5 mA, 0.7 s) or slightly more intense footshock kept on until escape (0.7 mA, mean escape latency = 3.4 s). Immediately after training, each rat received a subcutaneous injection of glucose (100 mg/kg). When tested for retention performance 24 h later, the glucose-injected animals exhibited enhanced retention performance for low footshock training and impaired retention for high footshock training. Experiment II determined whether pretreatment with adrenergic antagonists blocked the effects of glucose on memory. Pretreatment with the alpha- or beta-adrenergic receptor antagonists, phenoxybenzamine, or propranolol, respectively, had no effect on acquisition or retention in animals trained with the brief footshock and did not affect glucose facilitation of that memory. In animals trained to escape footshock, phenoxybenzamine did not attenuate the amnesia produced by glucose. Propranolol-pretreated animals had impaired retention whether or not they received post-training amnestic injections of glucose; glucose had no effect on retention in these amnestic animals. These findings add further support to the view that glucose release after training and treatment may represent a physiological response subsequent to epinephrine release in modulating memory storage processing.     

Effects of neonatal forebrain noradrenaline depletion on recovery from brain damage: performance on a spatial navigation task as a function of age of surgery and postsurgical housing

The experiments examined the contributions of forebrain noradrenaline and environmental enrichment to recovery of place navigation ability in rats after hemidecortication in infancy or adulthood. Noradrenaline depletion did not affect recovery from neonatal hemidecortication, although the early hemidecortications did allow sparing of function relative to adult operates. Noradrenaline depletion also failed to attenuate the positive effects of enriched housing on otherwise normal rats. Noradrenaline depletion did retard recovery of adult hemidecorticate rats housed in standard laboratory cages, but it did not retard recovery of adult hemidecorticate rats housed in enriched environments. The results suggest that noradrenaline is importantly involved in enhancing recovery from brain damage when other sources of compensation (e.g., neonatal injury, enriched environment) are absent.     

Categorical shape and color coding by pigeons

Categorical coding is the tendency to respond similarly to discriminated stimuli. Past research indicates that pigeons can categorize colors according to at least three spectral regions. Two present experiments assessed the categorical coding of shapes and the existence of a higher order color category (all colors). Pigeons were trained on two independent tasks (matching-to-sample, and oddity-from-sample). One task involved red and a plus sign, the other a circle and green. On test trials one of the two comparison stimuli from one task was replaced by one of the stimuli from the other task. Differential performance based on which of the two stimuli from the other task was introduced suggested categorical coding rules. In Experiment 1 evidence for the categorical coding of sample shapes was found. Categorical color coding was also found; however, it was the comparison stimuli rather than the samples that were categorically coded. Experiment 2 replicated the categorical shape sample effect and ruled out the possibility that the particular colors used were responsible for the categorical coding of comparison stimuli. Overall, the results indicate that pigeons can develop categorical rules involving shapes and colors and that the color categories can be hierarchical.     

Perceptual and conceptual variants of the oddity task as a predictor of learning disability

This paper compares LD and non-LD peers on eight variants of the oddity task. This study is part of a larger programmatic research effort aimed at the development of a screening test to detect preschool children who currently pass existing screening tests but, nonetheless, subsequently experience school failure. The theoretical orientation of this approach is to assess active, ongoing cognitive processing ability. The oddity task, which can be structured to assess such processing ability, was evaluated in the present study as a potential component of this screening test. Consistent with a priori predictions, the data resulted in strong group and developmental differences. Oddity performance increased over age, with the non-LD children performing consistently better than their LD peers at each age. Perceptual and conceptual factors were manipulated across the oddity variations, and both factors contributed to group differences. These results were discussed in relationship to early diagnosis and prognosis for learning disabilities that might result from deficiencies in abstract processing ability.The authors would like to express their thanks to the schools, teachers, and students who participated in this study. This research was supported in part by the Mailman Foundation and FDLRS/MAILMAN, a specialized university center of the Florida Diagnostic Learning Resources System, funded through State General Revenue appropriation to provide multidisciplinary evaluation services in exceptional student education programs.     

Quality-of-life measures: hospital interview versus home questionnaire

Measures adapted from social survey research were used to assess the quality of life of 33 end-stage renal disease (ESRD) patients in a 2-week test-retest design that varied both location and format of administration (hospital interview vs. home self-administered questionnaire). The measures were found to have substantial consistency over time, location, and format. These results indicate that quality of life is a stable construct and support the usefulness of questionnaire quality-of-life measures for evaluating medical interventions.