The simple substitution property of the intermediate propositional logics on finite slices

The simple substitution property provides a systematic and easy method for proving a theorem by an axiomatic way. The notion of the property was introduced in Hosoi [4] but without a definite name and he showed three examples of the axioms with the property. Later, the property was given it's name as above in Sasaki [7].Our main result here is that the necessary and sufficient condition for a logicL on a finite slice to have the simple substitution property is thatL is finite. Here the necessity part is essentially new, for the sufficiency part has been proved in Hosoi and Sasaki [5]. Also the proof of sufficiency part is improved here.For logics on the -th slice, the condition for them to have the simple substitution property is not yet known.We abbreviate the simple substitution property asSSP.     

Brain activation during the course of sentence comprehension

The purpose of this study is to determine, by functional magnetic resonance imaging, how the activated regions of the brain change as a Japanese sentence is presented in a grammatically correct order. In this study, we presented constituents of a sentence to Japanese participants one by one at regular intervals. The results showed that the left lingual gyrus was significantly activated at the beginning of the sentence, then the left inferior frontal gyrus and left supplementary motor area, in the middle of the sentence, and the left inferior temporal gyrus, at the end of the sentence. We suggest that these brain areas are involved in sentence comprehension in this temporal order.     

Major psychosis and chromosome 22: genetics meets epigenetics

Elucidation of genetic factors in schizophrenia and bipolar disorder remains a challenging task to psychiatric researchers. As a rule, data from genetic linkage and association studies are quite controversial. In this article, we further explore the possibility that in addition to DNA sequences variation, a putative epigenetic dysregulation of brain genes plays an important role in the etiopathogenesis of major psychosis. We provide an epigenetic interpretation of unclear genetic findings specifically pertaining to chromosome 22 in schizophrenia and bipolar disorder. It is suggested that epigenetic strategies, when applied in conjunction with traditional genetic ones, may significantly expedite the uncovering of the molecular causes of major psychosis.     

Tensile properties of precracked tempered martensitic steel specimens tested at ultralow strain rates in high-pressure hydrogen atmosphere

Tensile tests were performed on precracked Cr–Mo martensitic steel (C: 0.38, Si: 0.22, Mn: 0.84, P: 0.024, S: 0.021, Ni: 0.08, Cr: 1.11, Mo: 0.15, Cu: 0.12, Fe: bal. (wt%)) specimens at various strain rates (ranging from 6.5 × 10^?8 s^?1 to 1.0 × 10^?4 s^?1) in high-pressure (95 MPa) hydrogen and helium atmospheres. Irrespective of the strain rate, the tensile strength in the helium atmosphere was 1400 MPa. In the hydrogen atmosphere, the tensile strength decreased to less than 600 MPa at a strain rate of 2.0 × 10^?5 s^?1. However, the tensile strength increased to 900 MPa when the strain rate was decreased to 6.5 × 10^?8 s^?1. This recovery of the tensile strength was because of the decrease in the local stress in the vicinity of the precrack because of hydrogen.     

Temporal integration as a function of signal and gap intensity in rats (Rattus norvegicus) and pigeons (Columba livia)

Previous data suggest that rats (Rattus norvegicus) and pigeons (Columba livia) use different interval-timing strategies when a gap interrupts a to-be-timed signal: Rats stop timing during the gap, and pigeons reset their timing mechanism after the gap. To examine whether the response rule is controlled by an attentional mechanism dependent on the characteristics of the stimuli, the authors manipulated the intensity of the signal and gap when rats and pigeons timed in the gap procedure. Results suggest that both rats and pigeons stop timing during a nonsalient gap and reset timing after a salient gap. These results also suggest that both species use similar interval-timing mechanisms, influenced by nontemporal characteristics of the signal and gap.     

The number–time interaction depends on relative magnitude in the suprasecond range

Numerical representations influence temporal processing. Previous studies have consistently shown that larger numbers are perceived to last longer than smaller ones. However, whether this effect is modulated by the absolute or relative magnitudes of the numbers has yet to be fully understood. Here, participants observed single- and double-digit Arabic numerals in separate experimental blocks and reproduced stimulus duration of 600 or 1200 ms. Our results replicated previous findings that the duration of larger numbers was reproduced longer than that of smaller numbers within each digit set. Although the effect of numerical magnitude across single- and double-digit numerals was found when the numerals were presented for 600 ms, the difference was negligible when they were presented for 1200 ms, suggesting that relative magnitude is an important factor in the number–time interaction in the suprasecond range. These results suggest that contextual influence on number–time interaction may depend on the actual stimulus duration.     

Phenomenological model of variant change during magnetization of martensite

The present study deals with the straining of ferromagnetic martensite in a magnetizing field. A phenomenological model of the movement of the interface between martensitic variants is developed for calculation of the strength of the magnetic field required for a variant change. The effect of uniaxial stress on interface movement is also examined. The results are applied to the martensite phases of NiMnGa and FePd ferromagnetic shape-memory alloys.     

Observation of a threshold impact energy required to cause passive film rupture during slurry erosion of stainless steel

The impact of solid particles during the erosion of stainless steel by a slurry jet reveals a sequence of anodic current transients due to individual impacts. Measurement of these current transients shows that there is a minimum particle energy below which no transients can be detected. The result is interpreted as a threshold energy required to rupture the passivating oxide film on the metal surface. If this energy is exceeded, the current transients arise from electrochemical reaction of the depassivated metal surface after denudation. Below this threshold no rupture occurs and there are no current transients.