Bunched sequential information

It is known that the logic BI of bunched implications is a logic of resources. Many studies have reported on the applications of BI to computer science. In this paper, an extension BIS of BI by adding a sequence modal operator is introduced and studied in order to formalize more fine-grained resource-sensitive reasoning. By the sequence modal operator of BIS, we can appropriately express “sequential information” in resource-sensitive reasoning. A Gentzen-type sequent calculus SBIS for BIS is introduced, and the cut-elimination and decidability theorems for SBIS are proved. An extension of the Grothendieck topological semantics for BI is introduced for BIS, and the completeness theorem with respect to this semantics is proved. The cut-elimination, decidability and completeness theorems for SBIS and BIS are proved using some theorems for embedding BIS into BI.     

Formal assessment of reliability specifications in embedded cyber-physical systems

Reliability has become an integral component of the design intent of embedded cyber-physical systems. Safety-critical embedded systems are designed with specific reliability targets, and design practices include the appropriate allocation of both spatial and temporal redundancies in the implementation to meet such requirements. With increasing complexity of such systems and considering the large number of components in such systems, redundancy allocation requires a formal scientific basis. In this work, we profess the analysis of the redundancy requirement upfront with the objective of making it an integral part of the specification. The underlying problem is one of synthesizing a formal specification with built-in redundancy artifacts, from the formal properties of the error-free system, the error probabilities of the control components, and the reliability target. We believe that upfront formal analysis of redundancy requirements is important in budgeting the resource requirements from a cost versus reliability perspective. Several case-studies from the automotive domain highlight the efficacy of our proposal.     

Psychological Well-Being and Parent-Child Relationship Quality in Relation to Child Autism: An Actor-Partner Modeling Approach

Parents of children with autism spectrum disorder (ASD) often report poor psychological well-being, including a high level of parenting stress and depressive symptoms. Little is known about the extent to which poor parent psychological well-being alters the emotional quality of the parent-child relationship in a context of child ASD. This study examined the association between actor (one's own) and partner (one's partner's) level of parenting stress and depressive symptoms and the emotional quality of the parent-child relationship using a Five Minute Speech Sample (FMSS) in 150 families of children with ASD, aged 5–12 years (85.7% male). Mothers and fathers were aged 38.69 (SD = 5.62) and 40.76 (SD = 6.19), respectively; 76% of mothers and 68% of fathers had a college degree. Structural equation modeling, using Analysis of Moment Structures software, was used to test Actor-Partner Interdependence Models. Results indicated that mother's level of parenting stress and depressive symptoms were associated with her own FMSS Warmth and Criticism toward the child with ASD 12 months later in negative and positive directions. Mother's level of parenting stress was also negatively associated with father's FMSS Warmth toward the child with ASD 12 months later. Finally, father's level of parenting stress was positively associated with his FMSS Criticism toward the child with ASD. Overall, findings indicate that the mother-child and father-child relationship are both impacted by parent psychological well-being in families of children with ASD; however, actor effects are stronger for mothers and partner effects were only found for fathers. Implications for interventions are discussed.     

Explaining the Asian American Youth Paradox: Universal Factors versus Asian American Family Process Among Filipino and Korean American Youth

This study used longitudinal survey data of Filipino American and Korean American youth to examine ways in which universal factors (e.g., peer antisocial behaviors and parent–child conflict) and Asian American (AA) family process variables (e.g., gendered norms) independently and collectively predict grade point average (GPA), externalizing, and internalizing problems. We aimed to explain the “Asian American youth paradox” in which low externalizing problems and high GPA coexist with high internalizing problems. We found that universal factors were extensively predictive of youth problems and remained robust when AA family process was accounted for. AA family process also independently explained youth development and, in part, the AA youth paradox. For example, gendered norms increased mental distress. Academic controls did the opposite of what it is intended, that is, had a negative impact on GPA as well as other developmental domains. Family obligation, assessed by family-centered activities and helping out, was beneficial to both externalizing and internalizing youth outcomes. Parental implicit affection, one of the distinct traits of AA parenting, was beneficial, particularly for GPA. This study provided important empirical evidence that can guide cross-cultural parenting and meaningfully inform intervention programs for AA youth.     

Displacement trauma: complex states of personal,collective and intergenerational fragmentation and their intergenerational transmission

Originally presented at the Journal’s one day conference entitled ‘Displacement: Contemporary Traumatic Experience’ held in London in November 2019, this paper expands on the author’s theory of the implicit psychological organizing gestalt, an associated pattern of psychic functions which operate in an integrated way to simultaneously structure and organize our experience of self-cohesion and self-continuity. The gestalt, which implicitly links the formation of psychic skin, body image, cultural skin and both personal and cultural identity with place, functions as an emergent non-conscious permanent presence or background ‘constant’. It develops over time and emerges out of embodied emotional experiencing with the total environment – both human and non-human. The author argues that it is the rupture of this gestalt and the disorganizing consequences of its loss which underlies the experience of displacement trauma. If disruptions in the formation of the gestalt and/or its later rupture remain unrecognized and unrepresented then the absence creates a void which can be intergenerationally transmitted. Case material is presented which describes this and which highlights the ways in which the gestalt can contribute to our understanding of collective displacement anxiety, cultural trauma and cultural complexes.     

Antecedents of fathers’ perception of child behavior at child age 12 months

This study investigates whether fathers’ adverse childhood experiences (ACE) and attachment style reported during pregnancy predict fathers’ perception of child behavior assessed 12 months postpartum, expressed by the Parenting Stress Index (PSI), Child Domain. Prospective fathers (N = 835) were recruited to “The Little in Norway (LiN) study” (Moe & Smith) at nine well-baby clinics in Norway, with data collection composed of five time points during pregnancy and two time points postpartum (6 and 12 months). The main analyses included linear regression, path-analysis modeling, and intraclass correlation based on mixed effects modeling. First, linear regression analyses showed that neither fathers’ ACE nor attachment style significantly predicted perceived child behavior postpartum directly. Furthermore, path analyses showed that ACE and less secure attachment style (especially avoidant attachment) measured early in pregnancy strongly predicted negatively perceived child behavior, mediated by fathers’ mental health symptoms during pregnancy and partner disharmony postpartum. Second, intraclass correlation analyses showed that fathers’ perceived child behavior showed substantial stability between 6 and 12 months postpartum. Family interventions beginning in pregnancy may be most beneficial given that fathers’ early experiences and perceptions of attachment in pregnancy were associated with later partner disharmony and stress.     

On Fork Arrow Logic and its Expressive Power

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order correspondence language, so both can express the same input–output behavior of processes.     

大学生的认知风格与逻辑推理的关系

以大学生为被试,探讨认知风格与逻辑推理的关系。结果表明：（1）在三段论推理中,场依存型学生和场独立型学生推理成绩不存在显著差异,学过和未学过逻辑学的学生推理成绩也不存在显著差异,但男生和女生推理成绩差异显著,女生比男生更易受“气氛”的影响。（2）在命题推理中,对抽象材料构成的命题,场独立型学生和场依存型学生的推理存在显著差异,场独立型学生表现出更强的证伪倾向,场依存型学生表现出更强的换位倾向;对具体材料构成的命题,场独立型学生和场依存型学生的推理不存在显著差异。     

Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs

There is an exponential speed-up in the number of lines of the quantified propositional sequent calculus over Substitution Frege Systems, if one considers proofs as trees. Whether this is true also for the number of symbols, is still an open problem. This revised version was published online in June 2006 with corrections to the Cover Date.