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.     

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.     

Dysphoria and Children's Processing of Supportive Interactions

This study examined the processing of supportive interactions by dysphoric and nondysphoric preteens and early adolescents. Seventy-two youngsters between the ages of 10 and 13 evaluated the supportiveness and helpfulness of standardized, videotaped interactions between a distressed preadolescent and a maternal figure. The tape presentations varied in terms of the level of depicted maternal support and instructional condition (degree of self-reference). The results indicated that dysphoric youngsters evaluated both the supportiveness and helpfulness of interactions less positively than nondysphoric agemates. Group differences in support evaluations were most pronounced in the self-referenced condition. The level of depicted support did not affect processing differences. Dysphoric subjects reported lower levels of emotional support in prior relationships and a greater tendency to view supportive behavior as ingenuine than nondysphoric peers. Variation in prior support experiences accounted for group differences in the evaluation of the supportiveness of new interactions.     

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.     

2-Element matrices

Sections 1, 2 and 3 contain the main result, the strong finite axiomatizability of all 2-valued matrices. Since non-strongly finitely axiomatizable 3-element matrices are easily constructed the result reveals once again the gap between 2-valued and multiple-valued logic. Sec. 2 deals with the basic cases which include the important F _i from Post's classification. The procedure in Sec. 3 reduces the general problem to these cases. Sec. 4 is a study of basic algebraic properties of 2-element algebras. In particular, we show that equational completeness is equivalent to the Stone-property and that each 2-element algebra generates a minimal quasivariety. The results of Sec. 4 will be applied in Sec. 5 to maximality questions and to a matrix free characterization of 2-valued consequences in the lattice of structural consequences in any language. Sec. 6 takes a look at related axiomatization. problems for finite algebras and matrices. We study the notion of a propositional consequence with equality and, among other things, present explicit axiomatizations of 2-valued consequences with equality.     

Meeting a deviant person: Subjective norms and affective reactions

Studied differences in verbal, nonverbal, and physiological responses during a confrontation with a male confederate role-playing either a physically handicapped (PH), homosexual (HS), or normal (NOR) person. One hundred and eight males from colleges of economics and engineering listened in a laboratory experiment to personal introductions by two confederates in succession. Whereas the first confederate always appeared normal, the second took one of the three roles mentioned. A further informal meeting with this confederate was arranged outside the laboratory; all subjects had taken a stereotype test before. Normative differences between PH and HS (p ≤ 0.05) are found on verbal measures including the stereotype test, self-rated emotion and consent to a further contact. General effects of deviance separating PH and HS from NOR (p ≤ 0.05) emerge on observed emotion, interpersonal distance during the informal meeting, and skin-resistance responses. The results largely confirm the hypotheses. They are interpreted as supporting a distinction between intended (action-type) components of behaviour which are strongly influenced by subjective norms, and unintended (reaction-type) components reflecting undifferentiated reactions to deviance.