Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt’s lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to ...

BACKGROUND The structure of trauma narratives is considered to be related to posttraumatic stress symptomatology and thus the capacity to make a coherent narrative after stressful events is crucial for mental health. OBJECTIVE The aim of this study is to understand more of the relationship between narrative structure and posttraumatic stress symptoms (PTSS). More specifically, we investigated...

Identifying vulnerable individuals prone to develop post-traumatic stress symptoms (PTSS) is of paramount importance, especially in populations at high risk for stress exposure such as combat soldiers. While several neural and psychological risk factors are known, no post-traumatic stress disorder (PTSD) biomarker has yet progressed to clinical use. Here we present novel and clinically applicab...

(1) Background: Studies have shown that healthcare workers an increased chance of developing post-traumatic stress symptoms (PTSS) during the COVID-19 pandemic. However, funeral directors not yet been studied, despite facing many same possible causes PTSS as workers. (2) Methods: An online survey was spread to home organization DELA in Belgium (n = 287). The validated scale PCL-5 used assess PT...

BACKGROUND The purpose of this study was to investigate prefrontal cortex (PFC) volumes in youth with posttraumatic stress symptoms (PTSS) and explore the relationship between cortisol secretion and PFC volumes. METHODS Total brain tissue volumes, segmented areas of the PFC, and diurnal cortisol secretion were examined in a sample of 33 youth aged 10 to 16 years. Cerebral volumes were availab...

OBJECTIVE The current longitudinal study aims to examine the bidirectional relationship between post-traumatic stress symptoms (PTSS) and post-traumatic growth (PTG). METHOD One hundred twenty-two adults in the most severely affected area were investigated by self-report questionnaires at 12 months and 18 months after the Wenchuan Earthquake occurred in China. RESULTS The autoregressive cro...

Traumatic experiences are not unusual in pediatric heart transplant (HT) recipients before and after transplantation. Post-traumatic stress symptoms (PTSS) present at the time of transplant evaluation and developing afterward occur with an unknown frequency. We sought to determine the burden of these symptoms in heart transplant patients. We reviewed 51 consecutive HTs between 2003-2007, includ...

Passive torque servo system (PTSS) simulates aerodynamic load and exerts the load on actuation system, but PTSS endures position coupling disturbance from active motion of actuation system, and this inherent disturbance is called extra torque. The most important issue for PTSS controller design is how to eliminate the influence of extra torque. Using backstepping technique, adaptive fuzzy torqu...

Attentional threat bias (ATB) has been suggested as one factor leading to maintenance and exacerbation of posttraumatic stress symptoms (PTSS). In the present study, attentional processes (i.e., facilitated engagement, difficulty disengaging) underlying the association between ATB and PTSS were examined. Additionally, attentional control (AC) was examined as a moderator of this relationship. Pa...

For many a natural deduction style logic there is a Hilbert-style logic that is equivalent to it in that it has the same theorems (i.e. valid judgements Γ⊢P where Γ = ∅). For intuitionistic implicational logic, the axioms of the equivalent Hilbert-style logic can be propositions which are also known as the types of the combinators I, K and S. Natural deduction versions of illative combinatory l...