A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

Predicting preferences for dating partners from past experiences of psychological abuse: identifying the psychological ingredients of situations

Are women who have been the victim of psychological abuse in the past more likely to prefer an abusive dating partner in the future? Are men who have been the perpetrator of abuse more likely to prefer a dating partner with high attachment anxiety, a characteristic associated with victims of abuse? The present research used a highly repeated, within-subject, multilevel approach to identify the characteristics of potential dating partners that constitute salient psychological ingredients of situations influencing partner preference. Study 1 found that college-age women who reported more instances of receiving psychological abuse, compared to women who did not, showed a stronger preference for male dating partners who possessed characteristics associated with an abusive personality (e.g., possessiveness). Study 2 found that college-age men who reported more instances of inflicting psychological abuse, compared to men who did not, showed a stronger preference for female dating partners characterized by high attachment anxiety.     

Neural bases of focusing attention in working memory: An fMRI study based on group differences

Using fMRI, we investigated neural substrates for focusing attention in working memory. To explore this focusing effect, two kinds of reading span test (RST), focused and nonfocused, were performed. In the focused RST (F-RST), the target word to be maintained was the focus word in the sentence. In the nonfocused RST (NF-RST), the target word was not the focus word in the sentence. In both RST conditions, significant activations were found in three main regions: left dorsolateral prefrontal cortex (DLPFC), anterior cingulate cortex (ACC), and left superior parietal lobule (SPL). In addition, fMRI signal changes increased in the left SPL in the NF-RST condition. These findings suggest that the neural substrates of focusing attention are based on SPL and ACC-DLPFC networks. Furthermore, there were group differences in the focusing effect between high-span and low-span subjects: High-span subjects showed focusing effects (supported by SPL control) greater than those of low-span subjects.     

Effects of cementite morphology on short-fatigue-crack propagation in binary Fe–C steel

The effects of cementite morphology on short-fatigue-crack propagation were investigated by subjecting smooth steel specimens to rotating-bending fatigue tests. Intergranular and transgranular cementite precipitation steels free of other phases were prepared through heat treatments. In the intergranular cementite precipitation steel, short-fatigue-crack propagation was decelerated at the grain boundaries, and accelerated in the grain interiors. In contrast, the transgranular precipitation steel showed the deceleration of the crack propagation in the grain interiors but not in the vicinity of the grain boundaries.     

When the seemingly innocuous "stings": racial microaggressions and their emotional consequences

Commonplace situations that are seemingly innocuous may nonetheless be emotionally harmful for racial minorities. In the current article the authors propose that despite their apparent insignificance, these situations can be harmful and experienced as subtle racism when they are believed to have occurred because of their race. In Study 1, Asian Americans reported greater negative emotion intensity when they believed that they encountered a situation because of their race, even after controlling for other potential social identity explanations. Study 2 replicated this finding and confirmed that the effect was significantly stronger among Asian Americans than among White participants. These findings clarify how perceptions of subtle racial discrimination that do not necessarily involve negative treatment may account for the "sting" of racial microaggressions, influencing the emotional well-being of racial minorities, even among Asian Americans, a group not often expected to experience racism.     

Exploring the Pastoral Dynamics of Mixed-Race Persons

The number of persons in the United States who identify with more than one racial group is a steadily growing segment of the larger population. Yet pastoral care literature has not focused much attention to date on the spiritual care of multiracial people in America. This article intends to begin that conversation by examining their intrapersonal and interpersonal dynamics, suggesting four directions of caring, and then exploring five implications for offering compassionate and relevant ministry.     

Syntactical investigations intoBI logic andBB′I logic

In this note, we will study four implicational logicsB, BI, BB and BBI. In [5], Martin and Meyer proved that a formula is provable inBB if and only if is provable inBBI and is not of the form of » . Though it gave a positive solution to theP - W problem, their method was semantical and not easy to grasp. We shall give a syntactical proof of the syntactical relation betweenBB andBBI logics. It also includes a syntactical proof of Powers and Dwyer's theorem that is proved semantically in [5]. Moreover, we shall establish the same relation betweenB andBI logics asBB andBBI logics. This relation seems to say thatB logic is meaningful, and so we think thatB logic is the weakest among meaningful logics. Therefore, by Theorem 1.1, our Gentzentype system forBI logic may be regarded as the most basic among all meaningful logics. It should be mentioned here that the first syntactical proof ofP - W problem is given by Misao Nagayama [6].Presented byHiroakira Ono     

Predicting cognitive control from preschool to late adolescence and young adulthood

In this longitudinal study, the proportion of time preschoolers directed their attention away from rewarding stimuli during a delay-of-gratification task was positively associated with efficiency (greater speed without reduced accuracy) at responding to targets in a go/no-go task more than 10 years later. The overall findings suggest that preschoolers' ability to effectively direct their attention away from tempting aspects of the rewards in a delay-of-gratification task may be a developmental precursor for the ability to perform inhibitory tasks such as the go/no-go task years later. Because performance on the go/no-go task has previously been characterized as involving activation of fronto-striatal regions, the present findings also suggest that performance in the delay-of-gratification task may serve as an early marker of individual differences in the functional integrity of this circuitry.     

Effects of acute simulated microgravity on nocturnal sleep, daytime vigilance, and psychomotor performance: comparison of horizontal and 6 degrees head-down bed rest

This study examined the effect of acute simulated microgravity on nocturnal sleep, daytime vigilance, and psychomotor performance. Each of 7 volunteers were maintained for 3 days of head-down and horizontal bed rest in a counter-balanced design. Assessment measures were polysomnographic recordings on the first night and performance on psychophysiological tasks on the second day involving subjective and objective vigilance, P300, simple reaction time tasks, and dual performance tasks. No clear difference in sleep structure was observed between the head-down and horizontal conditions, except for a slight decrease in Stage 4 for head-down. Both subjective and objective daytime vigilance, P300, and the simple RT task showed no statistical difference, although tracking performance on the dual task showed deterioration at 10:00 for the head-down condition. These results suggest that nocturnal sleep, daytime vigilance, and psychophysiological functions were not disturbed in head-down sleep conditions, although there was a mild deterioration of higher attentional function in the morning.