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.     

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

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

Deciphering Heidegger's Connection with the Daodejing

This paper carries out an intensive study of Heidegger's famous reflection on the word dao and of his citations from the Daodejing, with the purpose of elucidating his complex relation with Daoist thinking. First I examine whether dao could be said to be a guideword for Heidegger's path of thinking. Then I discuss Heidegger's citations, in six places of his writings, from five chapters of the Daodejing, by situating them in the immediate textual context as well as against the broad background of the fundamental presuppositions and orientations of Heidegger and Laozi's thinking. My examination of Heidegger's citations from the Daodejing has for the first time gathered together all the relevant materials discovered so far.     

Discontinuous precipitation initiated at interphase boundaries in a Zn-rich Zn-6.3 at.% Ag alloy

Discontinuous precipitation in a two-phase Zn-rich Zn-6.3at.%Ag alloy has been studied. It has been shown that the eta/epsilon interphase boundaries have the ability to initiate discontinuous precipitation as do the eta/eta grain boundaries. The back-polishing method is used to show the interconnection between a discontinuous precipitate colony and the eta/epsilon interphase boundary. The reaction front velocity of discontinuous precipitation initiated at the eta/eta grain boundary is 12-90% higher than that of discontinuous precipitation initiated at the eta/epsilon interphase boundary under various ageing temperatures.     

Jehovah's Witnesses in Eastern Germany: ‘Reconfigurations’ of Identity

Abstract

The aim of the article is to look at the process of ‘reconfiguration’ of Jehovah's Witnesses' identity in the area which comprises the former German Democratic Republic (GDR) and societal and state responses to it. Over 20 years after the fall of the Berlin Wall Jehovah's Witnesses are one of the largest minority religions in eastern Germany. Being a religious minority in a region that is both stigmatised by the socialist past and considered the most secular part of Europe raises a number of issues. Among these, the question of the identity of the movement and its societal reception plays a crucial role. During the time of the GDR Witnesses built their identity against the state and its functionaries. Persecutions not only destroyed or changed the lives of many members but also strengthened them. Moreover, being a victim of the socialist system provided a basis to build upon after the Unification. A 16-year struggle for the status of public law corporation in the ‘new’ state – accomplished in 2006 – only reinforced such identification. Nowadays, however, Witnesses in the former GDR have to face a new challenge: building a reliable identity not in opposition to the state or upon their role as victims, but only on the basis of their religion.     

Social support from friends predicts changes in memory specificity following a stressful life event

ABSTRACT

Exposure to negative life stress has been associated with difficulty retrieving memories for specific autobiographical events, with important consequences for the emergence of emotional disorders. We examined whether social support can protect against the effects of negative events on memory specificity. University students (N?=?143) were assigned to groups based on whether or not they experienced a negative stressor, operationalised as whether or not their recent exam performance was in line with their expectations. After receiving their exam results (T1), and one month later (T2), participants completed measures of memory specificity, their attitudes towards themselves and the occurrence of other stress-related events. Participants also completed a general measure of perceived social support from friends, family, and significant others, and an equivalent measure for social support related to performance. For participants who experienced an exam-related stressor, reduced performance-specific social support from friends was associated with reduced memory specificity at T2, even when accounting for T1 memory specificity, individual differences in attitudes towards self, the experience of additional stressors, and gender. No such relation was present for participants who did not experience a stressor. These findings provide new understanding of the influence of social variables on autobiographical memory specificity.