Sequent Calculi for Semi-De Morgan and De Morgan Algebras

A contraction-free and cut-free sequent calculus \(\mathsf {G3SDM}\) for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus \(\mathsf {G3DM}\) for De Morgan algebras are developed. The cut rule is admissible in both sequent calculi. Both calculi enjoy the decidability and Craig interpolation. The sequent calculi are applied to prove some embedding theorems: \(\mathsf {G3DM}\) is embedded into \(\mathsf {G3SDM}\) via Gödel–Gentzen translation. \(\mathsf {G3DM}\) is embedded into a sequent calculus for classical propositional logic. \(\mathsf {G3SDM}\) is embedded into the sequent calculus \(\mathsf {G3ip}\) for intuitionistic propositional logic.     

Category-length and category-strength effects using images of scenes

Global matching models have provided an important theoretical framework for recognition memory. Key predictions of this class of models are that (1) increasing the number of occurrences in a study list of some items affects the performance on other items (list-strength effect) and that (2) adding new items results in a deterioration of performance on the other items (list-length effect). Experimental confirmation of these predictions has been difficult, and the results have been inconsistent. A review of the existing literature, however, suggests that robust length and strength effects do occur when sufficiently similar hard-to-label items are used. In an effort to investigate this further, we had participants study lists containing one or more members of visual scene categories (bathrooms, beaches, etc.). Experiments 1 and 2 replicated and extended previous findings showing that the study of additional category members decreased accuracy, providing confirmation of the category-length effect. Experiment 3 showed that repeating some category members decreased the accuracy of nonrepeated members, providing evidence for a category-strength effect. Experiment 4 eliminated a potential challenge to these results. Taken together, these findings provide robust support for global matching models of recognition memory. The overall list lengths, the category sizes, and the number of repetitions used demonstrated that scene categories are well-suited to testing the fundamental assumptions of global matching models. These include (A) interference from memories for similar items and contexts, (B) nondestructive interference, and (C) that conjunctive information is made available through a matching operation.     

抑郁在青少年核心自我评价与自杀意念间的中介作用:基于Bootstrap法和MCMC法的实证研究

考察抑郁在青少年核心自我评价与自杀意念间的中介作用。对502名高中生进行量表测评。通过偏差校正的Bootstrap法和有先验信息的MCMC法求出中介效应值的95%置信区间分别为[-.030,-.011]和[-.024,-.014],提示抑郁的中介效应显著。效应量k2、R2med分别为.124、.104,偏差校正的Bootstrap法抽样5000次后,构建的效应量的95%置信区间分别为[.070,.178]、[.063,.156],两种指标共同验证效应量为中等。研究结果说明抑郁在核心自我评价与自杀意念间起部分中介作用,效应量中等。     

Is the Chinese number-naming system transparent? Evidence from Chinese-English bilingual children.

Chinese-speaking children have been shown to have an advantage over English-speaking children in a variety of mathematical areas, including counting. One possible explanation for the advantage in counting is that the Chinese number-naming system is relatively transparent, compared to English, in that number names typically are directly indicative of base-10 structure (e.g., 12 is named "ten-two" rather than "twelve"). To determine whether the transparency of the Chinese number-naming system influences counting in bilingual children, we tested 25 Chinese-English bilingual children between the ages of 3 and 5 years, both in English and in Chinese. Children were asked to count as high as they could (abstract counting) and also to count objects in small, medium, and large arrays (object counting). No evidence was found for transparency or for transfer from one language to the other. Instead, relative proficiency in the two languages influenced counting skill. These results are discussed in terms of linguistic and cultural variables that might account for cross-linguistic differences in counting.     

Boys withdraw more in one-on-one interactions, whereas girls withdraw more in groups

Past research predicts that males will be more likely to withdraw in one-on-one interactions versus groups, whereas females will be more likely to withdraw in groups than in one-on-one interactions. Ninety-eight 10-year-old children engaged in a word generation task either in same-sex dyads or in groups. Boys completed significantly more words in groups than in dyads, whereas girls' performance was similar in the 2 social structures. Confirming the hypothesis, analyses of the dynamics of dyads and groups using time spent writing as a measure of effort demonstrated that boys withdrew more than girls in dyads, whereas girls withdrew more than boys in groups. Furthermore, in groups, girls were more likely than boys to focus on one individual. Causal explanations for sex differences in preferences for differing social structures are proposed.