Spatial compatibility of signal-response position in pointing

Two experiments are reported in which, by means of a pointing task, we studied the stimulus-position effect, i.e. the inverted U-shape form of the reaction-time function in relation to stimulus position in tasks in which stimuli and/or responses are arranged in a horizontal array. The response consisted of aiming the index finger from a central starting point at a target area on a screen. Reaction time was the main dependent variable. The spatial relation between the position of the imperative signal and the position of the response was manipulated by varying the spatial S-R compatibility and physical distance that separated the positions of stimulus and response. The stimulus-position effect was shown to depend on the compatibility of the S-R relation (Exp. 1). In Exp. 2 it was found that the modulation of the stimulus-position effect by spatial compatibility disappeared completely when the distance between the positions of stimulus and response was reduced. None of the experiments revealed that the stimulus position effect depended on signal discriminability, which renders an interpretation of this effect in terms of perceptual processes unlikely. We argue that the attentional model of spatial coding provides the most reasonable explanation of the obtained reaction-time patterns.     

Visual imagery in backward masking

Observers viewed briefly presented target dot patterns, either at low contrast without a mask (no mask, or NM) or at high contrast and followed by a long-lasting patterned mask (backward masking, or BM). Experiment 1 demonstrated independent processing of NM target dots but limited capacity processing of BM target dots. Experiments 2 and 3 showed that visual images may radically change sensitivity (d′) in BM but not in NM. Results suggest that d′ is reduced if the image suppresses dots relevant for the detection task, but that d′ is raised if the image suppresses dots that compete for processing with those the observer must detect.     

Finite axiomatization for some intermediate logics

LetN. be the set of all natural numbers (except zero), and letD _n ^* = {k ∈N ∶k|n} ∪ {0} wherek¦n if and only ifn=k.x f or somex∈N. Then, an ordered setD _n ^* = 〈D _n ^* , ? _n , wherex? _ny iffx¦y for anyx, y∈D _n ^* , can easily be seen to be a pseudo-boolean algebra. In [5], V.A. Jankov has proved that the class of algebras {D _n ^* ∶n∈B}, whereB =,{k ∈N∶ ? \(\mathop \exists \limits_{n \in N} \) (n > 1 ≧n ² k)is finitely axiomatizable. The present paper aims at showing that the class of all algebras {D _n ^* ∶n∈B} is also finitely axiomatizable. First, we prove that an intermediate logic defined as follows: $$LD = Cn(INT \cup \{ p_3 \vee [p_3 \to (p_1 \to p_2 ) \vee (p_2 \to p_1 )]\} )$$ finitely approximatizable. Then, defining, after Kripke, a model as a non-empty ordered setH = 〈K, ?〉, and making use of the set of formulas true in this model, we show that any finite strongly compact pseudo-boolean algebra ? is identical with. the set of formulas true in the Kripke modelH _B = 〈P(?), ?〉 (whereP(?) stands for the family of all prime filters in the algebra ?). Furthermore, the concept of a structure of divisors is defined, and the structure is shown to beH D _n ^* = 〈P (D _n ^* ), ?〉for anyn∈N. Finally, it is proved that for any strongly compact pseudo-boolean algebraU satisfying the axiomp ₃∨ [p ₃→(p₁→p₂)∨(p₂→p₁)] there is a structure of divisorsD _* ⁿ such that it is possible to define a strong homomorphism froomiH D _n ^* ontoH D _U . Exploiting, among others, this property, it turns out to be relatively easy to show that \(LD = \mathop \cap \limits_{n \in N} E(\mathfrak{D}_n^* )\) .     

A twin study of personality and temperament during middle childhood

In a study of 105 same-sex twin pairs, ages 7 to 10 years, maternal ratings on 23 bipolar scales yielded six factors designated as compliant morality, applied cognitive, sociability, emotionality, tough-mindedness, and activity-distractibility. Analyses by twin pairs (68 identical, 37 fraternal) indicated that correlations for identical pairs were significantly higher than fraternal pairs on all but one factor: tough-mindedness. Profile analyses for the six factors indicated that the profiles of scores across the factors were more concordant for the identical twin pairs. Correlations obtained from the individual scales produced differences between the identical and fraternal twin pairs as well. Overall, the data suggested that several components and the total organization of those components of personality and temperament are genetically influenced.     

On the {↔, ∼} -reduct of the intuitionistic consequence operation

The intuitionistic consequence operation restricted to the language with (equivalence) and (negation) as the only connectives is axiomatized by means of a finite set of sequential rules of inference.To the memory of Professor Roman Suszko