Lattice Logic,Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems

Journal of Philosophical Logic - Lattice logic, bilattice logic, and paraconsistent quantum logic are investigated based on monosequent systems. Paraconsistent quantum logic is an extension of...     

Demonstration of Understanding Through the Deployment of Japanese Enactment

Human Studies - The present study examines the interactional phenomenon of enactment, wherein conversation participants act out themselves or others by utilizing both linguistic and non-linguistic...     

Quantized Linear Logic,Involutive Quantales and Strong Negation

A new logic, quantized intuitionistic linear logic (QILL), is introduced, and is closely related to the logic which corresponds to Mulvey and Pelletier's (commutative) involutive quantales. Some cut-free sequent calculi with a new property quantization principle and some complete semantics such as an involutive quantale model and a quantale model are obtained for QILL. The relationship between QILL and Wansing's extended intuitionistic linear logic with strong negation is also observed using such syntactical and semantical frameworks.     

Proof Theory of Paraconsistent Quantum Logic

Paraconsistent quantum logic, a hybrid of minimal quantum logic and paraconsistent four-valued logic, is introduced as Gentzen-type sequent calculi, and the cut-elimination theorems for these calculi are proved. This logic is shown to be decidable through the use of these calculi. A first-order extension of this logic is also shown to be decidable. The relationship between minimal quantum logic and paraconsistent four-valued logic is clarified, and a survey of existing Gentzen-type sequent calculi for these logics and their close relatives is addressed.     

Sex differences in the effects of disinhibition,perceived peer drinking,and delay discounting on drinking among Japanese college students

Disinhibition, perceived peer drinking, and delay discounting are considered significant predictors of drinking in young adults. This study examined whether perceived peer drinking and delay discounting mediate the association between disinhibition and drinking for young men and women. In this study, 258 Japanese college students (109 men and 149 women, mean age 19.17 (SD = 1.20) years old) completed a self-administered questionnaire that included four measures—the disinhibition subscale of the Sensation Seeking Scale for Japanese Adolescents, the proportion of friends who drink as an index of perceived peer drinking behaviors, the Monetary Choice Questionnaire, and participants’ own drinking behavior. In the multiple mediator models analyzed using structural equation modeling, for both sexes, perceived peer drinking had the largest direct effect on participants’ drinking, followed by disinhibition and delay discounting. However, the results of mediation analyses indicated that perceived peer drinking mediated the association between disinhibition and drinking for only women. The results of this study imply that it is important to consider sex differences in the association between personality traits and peer influence to develop programs aiming to reduce drinking among young adults in Japan.     

Does one's name attract visual attention?

Does one's name attract visual attention? To answer this question, we conducted four experiments. Experiment 1 adopted the method of a previous study (Bundesen, Kyllingsbæk, Houmann, & Jensen, 1997), but used Japanese names; the results of this experiment replicated the lack of evidence for attentional attraction by the observer's name. Experiments 2 and 3 tested two arguments put forward by Bundesen et al. (1997) to explain this null effect of observer's name on attentional attraction. The results showed that neither efficient target selection by colour nor the number of target characters could explain the null effect. Alternatively, we proposed that the observer's set plays a critical role in the attentional attraction of observer's name. Experiments 4 and 5 tested this idea by manipulating the observer's set; the results showed that when the observer's set matches the target defining feature, the observer's name does capture attention. These five experiments suggest that attentional attraction by an observer's name depends on the relationship between the observer's set and task.     

Strong interactions between hydrogen in solid solution and stress-induced martensite transformation of Ni–Ti superelastic alloy

The role of the dynamic interactions between hydrogen in a solid solution and the stress-induced martensite transformation in hydrogen embrittlement has been investigated using trained Ni–Ti superelastic alloy. In a cyclic tensile test in the stress plateau region caused by stress-induced martensite and reverse transformations after hydrogen charging, a further decrease in the critical stress for the martensite transformation is observed. In addition, the number of cycles to fracture for a trained specimen is significantly larger than that for a non-trained specimen. Since most of the charged hydrogen is preferentially trapped in defects induced by training, the hydrogen embrittlement is considerably suppressed as a result of decreasing interactions between the hydrogen and the transformation. The present results indicate that hydrogen in a solid solution more strongly interacts with the stress-induced martensite transformation than hydrogen trapped in defects, thereby further enhancing the hydrogen embrittlement related to phase transformations.     

Attentional capture by change in direct gaze

In three experiments, we examined whether change in direct gaze was better at capturing visuospatial attention than non-direct gaze change. Also, change in direct gaze can be categorised into two types: 'look toward', which means gaze changing to look toward observers, and 'look away', which means gaze changing to look away from observers. Thus, we also investigated which type of change in direct gaze was more effective in capturing visuospatial attention. Each experiment employed a change-detection task, and we compared detection accuracy between 'look away', 'look toward', and non-direct gaze-change conditions. In experiment 1, we found detection advantage for change in direct gaze relative to non-direct gaze change, and for 'look toward' compared with 'look away'. In experiment 2, we conducted control experiments to exclude possibilities of simple motion detection and geometrical factors of eyes, and confirm detection advantage in experiment 1 only occurred when the stimuli were processed as faces and gazes. In experiment 3, we manipulated the head deviation, but the results in experiment 1 persisted despite changes in head orientation. The findings establish that individuals are sensitive to change in direct relative to non-direct gaze change, and 'look toward' compared with 'look away'.