Sequent-systems and groupoid models. II

The purpose of this paper is to connect the proof theory and the model theory of a family of prepositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related to BCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural rules. Next, Hilbert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.Below is the sequel to the first part of the paper, which appeared in the previous issue of this journal (vol. 47 (1988), pp. 353–386). The first part contained sections on sequent-systems and Hilbert-formulations, and here is the third section on groupoid models. This second part is meant to be read in conjunction with the first part.     

Control of Gait Initiation

The initiation of gait from a standing posture by 6 subjects, who took controlled-length steps, was analyzed. Using an inverted-pendulum model, we found that the duration of gait initiation was independent of gait velocity. This finding suggests that subjects' biomechanical constants are the determining factors for initiating movement. Both the instantaneous velocity of the center of gravity at the end of the first step (resulting in the propulsive forces measured on the ground) and the steady-state velocity (resulting in the step length and frequency) varied with step length, whereas step frequency did not. But step frequency and progression velocity were linked, for step frequency always increased in parallel with increased progression velocity. We interpret the correlation between velocity and frequency variations to be a peripheral expression of the posturodynamic control of the step parameters by the progression forces.     

Processing Gapped Verbs

The time course was investigated of the processing of “missing” verbs in gapping constructions, such as John ate the hamburger, and Bill __ the hotdog. Native speakers of Dutch silently read Dutch sentences with and without gapping while their EEG was recorded. A left anterior negativity (LAN) was found at the first possible position at which the gapped verb could be detected, at least, for in participants who performed poorly in an end-of-sentence acceptability judgment task. This suggests that some readers do not anticipate the gapped verb, but infer the gapped verb in a bottom-up fashion, resulting in a LAN. Second, a P600 effect was observed for gapping versus no-gapping conditions, the early part of which was unaffected by plausibility. This suggests that the semantic and syntactic integration of a gapped verb is a relatively late process, and involves mechanisms similar to integrating a wh-phrase object with its verb.     

Endogenous opioid peptides contribute to associative LTP in the hippocampal CA3 region

The medial and lateral perforant path projections to the hippocampal CA3 region display distinct mechanisms of long-term potentiation (LTP) induction, N-methyl-d-aspartate (NMDA) and opioid receptor dependent, respectively. However, medial and lateral perforant path projections to the CA3 region display associative LTP with coactivation, suggesting that while they differ in receptors involved in LTP induction they may share common downstream mechanisms of LTP induction. Here we address this interaction of LTP induction mechanisms by evaluating the contribution of opioid receptors to the induction of associative LTP among the medial and lateral perforant path projections to the CA3 region in vivo. Local application of the opioid receptor antagonists naloxone or Cys2-Tyr3-Orn5-Pen7-amide (CTOP) normally block induction of lateral perforant path-CA3 LTP. However, these opioid receptor antagonists failed to block associative LTP in lateral perforant path-CA3 synapses when it was induced by strong coactivation of the medial perforant pathway which displays NMDAR-dependent LTP. Thus strong activation of non-opioidergic afferents can substitute for the opioid receptor activation required for lateral perforant path LTP induction. Conversely, medial perforant path-CA3 associative LTP was blocked by opioid receptor antagonists when induced by strong coactivation of the opioidergic lateral perforant path. These data indicate endogenous opioid peptides contribute to associative LTP at coactive synapses when induced by strong coactivation of an opioidergic afferent system. These data further suggest that associative LTP induction is regulated by the receptor mechanisms of the strongly stimulated pathway. Thus, while medial and lateral perforant path synapses differ in their mechanisms of LTP induction, associative LTP at these synapses share common downstream mechanisms of induction.     

Catastrophizing,Depression and Anxiety During Pregnancy: Relation Between Lumbopelvic Pain and Physical/Social Functioning

Catastrophizing, a cognitive behavioral aspect of pain, is defined as an excessively negative orientation against a noxious stimulus. The primary goal of the present study is to assess the association between catastrophizing and lumbopelvic pain intensity during the pregnancy period, the secondary goal is to explore the variation of pain catastrophizing, anxiety and depression, and the tertiary goal is to investigate the relationship between catastrophizing and quality of life. After approval, pregnant women with lumbopelvic pain were invited to join in the study. During admission, participants were asked to complete questionnaires including Pain Catastrophizing Scale, Beck Anxiety Inventory, Beck Depression Inventory-II, and Short Form-36. Age, gravida, parity, number of abortus, number of live-births and the pain intensity score were recorded. A total of 429 women were enrolled in the study. Pain catastrophizing scores showed a fluctuation during pregnancy, and were significantly correlated with the scores of Beck Anxiety Inventory, Beck Depression Inventory, Visual Analog Scale, and Short Form-36 sub-scales including social functioning, vitality, physical functioning and mental health. The present study demonstrated that catastrophizing level shows an alteration throughout the pregnancy period, and variation in catastrophizing shows an approximately similar course with pain intensity, depression and anxiety.     

More Property,Better Sex? The Relationship Between Property Ownership and Sexual Satisfaction Among Married Vietnamese Women

Since the first sexuality research in Vietnam was conducted in the late 1980s, scholarship on this field has proliferated and the topic is now less of a taboo in public discourse. Nevertheless, little is known about the area of sexual satisfaction as well as factors determining a satisfying sexual life for Vietnamese women. Using data from 2783 married women collected from a national survey, we explore the relationships among their sexual satisfaction, socio-demographic factors, and sexual experiences with a focus on their association with ownership of property. Results demonstrated that income, ethnicity, living region, frequency of sex, and sexual experience had a strong relationship with a satisfying sexual life for married women. Additionally, we found that property ownership was a strong predictor of sexual satisfaction: Women who had a savings or bank account in their own name as well as held ownership over their housing or residential land had higher odds of feeling more sexually satisfied. The present study is an important step toward follow-up research that should delve deeper into the field of human subjective sexual well-being not only from the health point of view, but also through a social and cultural lens. The study also has useful implications for those working on sexual health rights as well as for practitioners of women’s rights in development programs and projects that aim to empower women through altering traditional discourses and practices over women’s role in property ownership.     

The Effect of Religious Beliefs on the Publication Productivity of Countries in Circumcision: A Comprehensive Bibliometric View

Circumcision is one of the most common surgical operations in newborns, babies, and children due to cultural, religious, and medical reasons. Religious beliefs are known to have an important role in circumcision. Although bibliometric analyses have been performed about several topics with a lot of publications in literature, no studies in the literature were found to focus on male circumcision. This study aims to make a comprehensive bibliometric analysis of circumcision and investigate the relationship between publication productivity and religious beliefs of the countries. Web of Science was utilized to obtain the documents needed for bibliometric analyses. “Circumcision” keyword was used for search. The search included studies published between 1980 and 2018. The literature review indicated that there were 3694 publications about circumcision published between 1980 and 2018. Of these publications, 1770 (47.9%) were articles. This study provided a bibliometric summary of 1770 articles. The top five active countries about circumcision were the USA, England, South Africa, Turkey, and Kenya. The present study found that the religious beliefs of a country were directly related to publication productivity about circumcision. The top-cited study was the article entitled “Male circumcision for HIV prevention in young men in Kisumu, Kenya: a randomized controlled trial” written by Bailey et al. and published in the journal of Lancet. The keyword analysis results showed that HIV was the top keyword used in all articles about circumcision. This study is believed to help researchers interested in circumcision topic to access a summary of the literature, see contemporary and more important topics, and discover new ideas about the issue.

     

Change Pathways in Indigenous and Nonindigenous Youth Suicide

Multivariate dynamic relationships among suicide attempts, anxiety and/or depressive symptoms, hope, and help‐seeking were examined across time in Native Hawaiian and non‐Hawaiian adolescents, using data from a 5‐year longitudinal cohort study (N = 7,317). The rate of suicide attempts decreased over time, but this reduction was significantly less among Native Hawaiian youth than their non‐Hawaiian peers. There were also significant differences between groups in hope and help‐seeking, with Native Hawaiian youth increasing help‐seeking and decreasing hope to a greater degree. Youth‐centered, cultural approaches to suicide prevention are essential in enhancing well‐being in indigenous communities.