Applications of weak Kripke semantics to intermediate consequences

Section 1 contains a Kripke-style completeness theorem for arbitrary intermediate consequences. In Section 2 we apply weak Kripke semantics to splittings in order to obtain generalized axiomatization criteria of the Jankov-type. Section 3 presents new and short proofs of recent results on implicationless intermediate consequences. In Section 4 we prove that these consequences admit no deduction theorem. In Section 5 all maximal logics in the 3 ^rd counterslice are determined. On these results we reported at the 1980 meeting on Mathematical Logic at Oberwolfach. This paper concerns propositional logic only.     

Comparison of Life Styles of Honors,Non-Honors Women

This study compares the after-college life styles of participants in a college honors program with a control group of women who were not college honors students in order to determine the effects of a college honors program on life roles after college. The 81 participants of this study represent 93 percent of women who participated as college freshmen and during their ensuing college years in a study to determine the effects of an honors program on students while still in college. The results of the current study—the first contact with the women since they left college—illustrates the differences between the present life roles of these two groups of women in the areas of family involvement, careers, education, and community participation. The results show significant differences between honors and non-honors subjects in career-orientation and in commitment to their field of study and to the university at which they studied.     

Additivity of loudness across critical bands: A critical test

The use of magnitude estimation as well as axiomatic measurement theory has led to the suggestion that loudness adds across critical bands. In the present paper, we challenge this postulate by applying a more sensitive methodology, based on Falmagne’s (1976) random conjoint measurement procedure. A necessary condition for additivity of loudness was investigated in tone complexes consisting of 2-kHz and 5-kHz (resp. 3-kHz) components; the results showed systematic deviations from additivity. We argue that these deviations are due to asymmetric masking of the higher component by the lower one, and we propose a tentative quantitative model to account for the data. Such a model is in line with results from tone-on-tone masking, which show masking to be effective over a range of several critical bands.     

On reduced matrices

It is shown that the class of reduced matrices of a logic is a 1 ^st order -class provided the variety associated with has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1 ^st order.     

Response acquisition by Siamese fighting fish (Betta splendens) with delayed visual reinforcement

Male Siamese fighting fish, Betta splendens, swam through a ring in an aquarium, breaking a photocell beam and initiating an unsignaled, resetting delay interval. Following delays of 0 s, 10 s, or 25 s, a 15-s mirror presentation released an aggressive display by the fish. Swimming through the ring increased in the absence of either a period of acclimatization to the reinforcer (analogous to magazine training when appetitive reinforcers are used) or explicit training of the response by the experimenters. Response rates were a decreasing function of delay duration. Other fish exposed to a schedule of response-independent mirror presentations failed to acquire and maintain the response. The results demonstrate the robustness and generality of the phenomenon of response acquisition with delayed reinforcement. They further qualify earlier observations about behavioral mechanisms involved in the phenomenon.     

A microprocessor control and recording system for instrumental behavior research

This paper describes a miroprocessor system developed for experimental control and data collection in real time. By connecting the experimental equipment to the microprocessor via a serial communication interface, transmission of various animal test-chamber functions over greater distances with only a few cables is facilitated. The microprocessor is programmed on a host computer (PDP/8). A combined terminal station with a cassette deck is used for data and program storage.     

Influencesicture context on object recognition

The effect of sorrounding context on the recognition of objects from briefly presented pictures was investigated. Forty-eight undergraduates saw 100 msec displays of either line drawings containing several objects embedded in context or drawings of object arrays without background context. Following each exposure they were required to select from among four objects the one that had been contained in the picture. Presentation of objects in context aided recognition only when incorrect response alternatives were inconsistent with the picture context. The results suggest that context contributes to the construction of a general characterization of the pictures which provides expectancies regarding the identity of specific objects.