Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono's Kripke semantics for the predicate version of FL_ew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order.     

The pursuit of Leonardo's constraint

Leonardo da Vinci (1452-1519) identified two stimulus situations that cannot be painted faithfully on a canvas: (a) when two objects are located in the same direction with respect to the painter's head, and (b) when parts of a surface are visible to one eye, but occluded from the other eye. He analysed these situations in terms of rays being emitted from the two eyes and, aside from the origin of the rays, the projective geometry he used was correct. His analyses showed that what can be seen from two vantage points cannot be represented on a canvas, because a 'correct' painting must be created from a single 'station point'. He was struck by the consequence of this fact that the depth seen on a canvas cannot match that of viewing the scene with two eyes. Subsequent visual scientists focused on Leonardo's observation about the lack of vivid depth in a picture. We argue that a complete understanding of what we see in the two stimulus situations requires consideration of visual direction in addition to visual depth. More specifically, we argue that the visual directions of the two objects, (a) above, and the visual direction of the monocular areas, (b) above, are dependent upon the constraint that two opaque objects cannot be represented in the same direction. Demonstrations that readers can perform, and that support this argument, are provided on the Perception website at http://www.perceptionweb.com/perc0102/ono.html.     

Validation of the Japanese version of the NEO Five-Factor Inventory in a large community sample

The NEO Five-Factor Inventory is the shortened version of the Revised NEO Personality Inventory. The aim of this study was to examine the reliability and validity of the Japanese version of the shortened version in the general population of Japan. This version was translated into Japanese and then administered to 2,051 adults in a rural town in Akita Prefecture. A total of 1,664 (81.1%) individuals gave valid answers. Internal reliability, assessed by Cronbach alpha for subscales, ranged from .60 to .77. The scales were only weakly correlated both with each other and with age. In a multiple regression analysis, only the Neuroticism scale score was a significant predictor of scores on the General Health Questionnaire. Factor analysis supported the theoretical structure of personality. Overall, the Japanese version showed good reliability and validity in this sample of the general population of Japan.     

Active coping with stress suppresses glucose metabolism in the rat hypothalamus

We used 18F-fluorodeoxyglucose small-animal positron-emission tomography to determine whether different styles of coping with stress are associated with different patterns of neuronal activity in the hypothalamus. Adult rats were subjected to immobilization (IMO)-stress or to a non-immobilized condition for 30 min, in random order on separate days, each of which was followed by brain-scanning. Some rats in the immobilized condition were allowed to actively cope with the stress by chewing a wooden stick during IMO, while the other immobilized rats were given nothing to chew on. Voxel-based statistical analysis of the brain imaging data shows that chewing counteracted the stress-induced increased glucose uptake in the hypothalamus to the level of the non-immobilized condition. Region-of-interest analysis of the glucose uptake values further showed that chewing significantly suppressed stress-induced increased glucose uptake in the paraventricular hypothalamic nucleus and the anterior hypothalamic area but not in the lateral hypothalamus. Together with the finding that the mean plasma corticosterone concentration at the termination of the IMO was also significantly suppressed when rats had an opportunity to chew a wooden stick, our results showed that active coping by chewing inhibited the activation of the hypothalamic-pituitary-adrenal axis to reduce the endocrine stress response.     

Shape-assimilation effect: retrospective distortion of visual shapes

A brief visual stimulus distorts the perceived shape of a subsequent visual stimulus as being dissimilar to the shape of a previous stimulus (shape-contrast effect). In this study, we presented a visual stimulus after a to-be-estimated target stimulus and found that the perceived shape of the target stimulus appeared to be similar to the shape of the following stimulus (shape-assimilation effect). The assimilation effect occurred even when the following stimulus was presented at positions different from that of the target stimulus, indicating that the shape-assimilation effect is a nonretinotopic distortion. The results suggest that the preceding and succeeding stimuli differentially modulate the perceived shape of a briefly presented stimulus.     

Is the genetic structure of human personality universal? A cross-cultural twin study from North America, Europe, and Asia

This study examined whether universality of the 5-factor model (FFM) of personality operationalized by the Revised NEO Personality Inventory is due to genetic influences that are invariant across diverse nations. Factor analyses were conducted on matrices of phenotypic, genetic, and environmental correlations estimated in a sample of 1,209 monozygotic and 701 dizygotic twin pairs from Canada, Germany, and Japan. Five genetic and environmental factors were extracted for each sample. High congruence coefficients were observed when phenotypic, genetic, and environmental factors were compared in each sample as well as when each factor was compared across samples. These results suggest that the FFM has a solid biological basis and may represent a common heritage of the human species.     

Sedimentation of substitutional atoms and phase change in an In-Pb alloy under an ultrastrong gravitational field

It was found that an atomic-scale graded structure was formed, and a phase change occurred, in an In–Pb alloy by the sedimentation of substitutional solute atoms under an ultrastrong gravitational field (820?000?g (maximum); 150°C; 100?h). Continuous gradients in the concentration of Pb (from about 6 to 45?at.%) and In (from about 94 to 55?at.%) and resulting changes in the lattice constant were observed. Fcc (Pb-rich) and tetragonal (In-rich) phases appeared in the strong- and weak-gravity regions respectively from a single starting fct α phase. It is suggested that sedimentation of substitutional atoms can be used to control the compositions and structure of bulk materials and also thin films or layer interfaces.     

Closure Operators and Complete Embeddings of Residuated Lattices

In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.