Consider a general class of structural inference rules such as exchange, weakening, contraction and their generalizations. Among them, some are harmless but others do harm to cut elimination. Hence it is natural to ask under which condition cut elimination is preserved when a set of structural rules is added to a structure-free logic. The aim of this work is to give such a condition by using algebraic semantics. We consider full Lambek calculus (FL), i.e., intuitionistic logic without any structural rules, (...) as our basic framework. Residuated lattices are the algebraic structures corresponding to FL. In this setting, we introduce a criterion, called the propagation property, that can be stated both in syntactic and algebraic terminologies. We then show that, for any set R of structural rules, the cut elimination theorem holds for FL enriched with R if and only if R satisfies the propagation property. As an application, we show that any set R of structural rules can be "completed" into another set R*, so that the cut elimination theorem holds for FL enriched with R*, while the provability remains the same. (shrink)

In [7], a naive set theory is introduced based on a polynomial time logical system, Light Linear Logic (LLL). Although it is reasonably claimed that the set theory inherits the intrinsically polytime character from the underlying logic LLL, the discussion there is largely informal, and a formal justification of the claim is not provided sufficiently. Moreover, the syntax is quite complicated in that it is based on a non-traditional hybrid sequent calculus which is required for formulating LLL.In this paper, we (...) consider a naive set theory based on Intuitionistic Light Affine Logic (ILAL), a simplification of LLL introduced by [1], and call it Light Affine Set Theory (LAST). The simplicity of LAST allows us to rigorously verify its polytime character. In particular, we prove that a function over {0, 1}* is computable in polynomial time if and only if it is provably total in LAST. (shrink)

ヒマラヤ山脈から赤道近辺に及ぶ広大なインド亜大陸。過酷な気象条件のもとに暮らす人々が現代まで連綿と受け継いできた“インド的”な思考の根底にあるものを、ヒンドゥー教ほか正統派とされている思想に焦点を当て ひもとく。.

We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.

Light Linear Logic (LLL) and Intuitionistic Light Affine Logic (ILAL) are logics that capture polynomial time computation. It is known that every polynomial time function can be represented by a proof of these logics via the proofs-as-programs correspondence. Furthermore, there is a reduction strategy which normalizes a given proof in polynomial time. Given the latter polynomial time “weak” normalization theorem, it is natural to ask whether a “strong” form of polynomial time normalization theorem holds or not. In this paper, we (...) introduce an untyped term calculus, called Light Affine Lambda Calculus (λLA), which corresponds to ILAL. λLA is a bi-modal λ-calculus with certain constraints, endowed with very simple reduction rules. The main property of LALC is the polynomial time strong normalization: any reduction strategy normalizes a given λLA term in a polynomial number of reduction steps, and indeed in polynomial time. Since proofs of ILAL are structurally representable by terms of λLA, we conclude that the same holds for ILAL. (shrink)

This paper examines the ethical aspects of organ transplant surgery in which a donor heart is transplanted from a first recipient, following determination of death by neurologic criteria, to a second recipient. Retransplantation in this sense differs from that in which one recipient undergoes repeat heart transplantation of a newly donated organ, and is thus referred to here as “reuse cardiac organ transplantation.” Medical, legal, and ethical analysis, with a main focus on ethical analysis. From the medical perspective, it is (...) critical to ensure the quality and safety of reused organs, but we lack sufficient empirical data pertaining to medical risk. From the legal perspective, a comparative examination of laws in the United States and Japan affirms no illegality, but legal scholars disagree on the appropriate analysis of the issues, including whether or not property rights apply to transplanted organs. Ethical arguments supporting the reuse of organs include the analogous nature of donation to gifts, the value of donations as inheritance property, and the public property theory as it pertains to organs. Meanwhile, ethical arguments such as those that address organ recycling and identity issues challenge organ reuse. We conclude that organ reuse is not only ethically permissible, but even ethically desirable. Furthermore, we suggest changes to be implemented in the informed consent process prior to organ transplantation. The organ transplant community worldwide should engage in wider and deeper discussions, in hopes that such efforts will lead to the timely preparation of guidelines to implement reuse cardiac organ transplantation as well as reuse transplantation of other organs such as kidney and liver. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...) The finite model property for related substructural logics also follow by our method. In particular, we shall show that the property holds for all of FL and GL - -systems except FL c and GL - c of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

In the trolley problem, a well-known moral dilemma, the intuitive process is believed to increase deontological judgments, while deliberative reasoning is thought to promote utilitarian decisions. Therefore, based on the dual-process model, there seems to be an attempt to save several lives at the expense of a few others in a deliberative manner. This study examines the validity of this argument. To this end, we manipulate decision-making time in the standard trolley dilemma to compare differences among 119 Japanese female undergraduates (...) under three conditions: intuitive judgment, deliberative judgment, and judgment after a group discussion. The current results demonstrate that utilitarian judgments decreased from 52.9% in the intuition condition to 43.7% in the deliberation condition and 37.0% after the discussion. Additional analysis suggests that the decrease in utilitarian judgments may be related to psychological unwillingness to assume responsibility for the lives of others rather than to an increase in deontological judgments. Finally, these results are discussed from an adaptationist perspective. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic and for affine logic, i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL, and intuitionistic LLW. In addition, we shall show the finite model property for contractive linear logic, i.e., linear logic with contraction, and for its intuitionistic version. The finite model property for related substructural logics also follow by our (...) method. In particular, we shall show that the property holds for all of FL and GL$^-$-systems except FL$_c$ and GL$^-_c$ of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

Previous studies have highlighted the communicative limitations of artistic visualizations, which are often too conceptual or interpretive to enhance public understanding of (and volition to act upon) scientific climate information. This seems to suggest a need for greater factuality/concreteness in artistic visualization projects, which may indeed be the case. However, in this paper, we synthesize insights from environmental psychology, the psychology of art, and intermediate disciplines like eco-aesthetics, to argue that artworks—defined by their counterfactual qualities—can be effective for stimulating elements (...) of environmental consciousness. We also argue that different artworks may yield different effects depending on how they combine counter/factual strategies. In so doing, we assert that effective artistic perceptualization—here expressed asaffectivization—exceeds the faithful translation of facts from one mode to another, and cannot be encapsulated in a single example of un/successful art. (shrink)

While changes in response to the different stages of the pandemic remain unknown, this study investigated the longitudinal impact of the COVID-19 pandemic on depressive symptoms in Japanese university students and identified factors associated with new onset of depression and suicidal ideation. Two surveys were conducted at one university in Akita, Japan, during the first COVID-19 outbreak period and 1 year later. Moderate depressive symptoms were defined as a Patient Health Questionnaire-9 score ≥ 10 and suicide-related ideation score ≥ 1 (...) on question 9 of the questionnaire. Among 985 students who completed surveys in T1 and T2, participants with moderate depressive symptoms and suicide-related ideation increased from 11 to 17% and from 5.8 to 11.8%, respectively. Among 872 students at risk after excluding those with moderate depressive symptoms at T1, 103 students developed moderate depressive symptoms at T2. Among the 928 students at risk, after excluding those who had suicidal ideation at T1, 79 developed suicidal ideation. Multivariate logistic modeling revealed financial insecurity and academic performance as risk factors, while having someone to consult about worries was a coping factor for depressive symptoms and suicidal ideation. Our findings demonstrated that socioenvironmental factors may determine depressive symptoms of university students. (shrink)

This paper presents an explanation for the breakdown of dominant party systems. In contrast to previous works that examine how ruling parties lose their dominant position as a result of interparty competition, this paper focuses on how they are undermined from within by factional conflict. Through an overview of dominant party systems in the postwar world, we show that most of the ruling parties suffered from major splits that significantly reduced their electoral strengths before their final electoral defeat. In order (...) to explain why large groups of politicians decide to leave dominant parties that are likely to remain in power, we develop simple game-theoretic models of intraparty bargaining between party factions over the distribution of benefits from office. Our results suggest two mechanisms through which dominant parties break up. First, factional defections from dominant parties are likely to occur when they are experiencing a significant decline in public support. Second, factional defections are likely to occur when a non-mainstream faction is rapidly losing its bargaining power against the party leadership. Importantly, our results show that under certain conditions, dominant parties will break up even when their electoral prospects are much better than the opposition. We briefly discuss how these mechanisms can be applied to actual cases of dominant party systems. (shrink)

Familial amyloidotic polyneuropathy (FAP) is an inherited systemic amyloidosis, characterized by the extracellular deposition of fibrillar amyloid protein, i.e. a variant type of prealbumin, and by prominent peripheral nerve involvement. We recently established the basis of FAP, using a cloned human prealbumin cDNA, restriction endonuclease(s) and Southern blot procedures. This approach clearly revealed a direct link between mutation in the prealbumin gene and FAP; individuals with FAP are heterozygous for the prealbumin gene, carrying one normal and one mutant gene. Molecular (...) analysis of the prealbumin gene yielded pertinent data on the genetic basis for FAP. (shrink)

We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.

BackgroundThe Act Regarding the Promotion of the Appropriate Supply of Hematopoietic Stem Cells for Transplant regulates only how public banks store and provide umbilical cord blood for research or transplantation. Japan had no laws to regulate how the private banks manage the procedures, harvesting, preparation, and storage of such blood. As a result, the status of UCB distribution remains unknown. We conducted a survey to investigate the current status of UCB storage and provision to private biobanks by Japanese institutions that (...) handle childbirth.MethodsQuestionnaire forms were mailed to 3,277 facilities handling childbirth that were registered in the Japan Council for Quality Health Care website.ResultsOf the 1,192 institutions handling childbirth that participated in the survey, 34.4% responded that they currently provide UCB to private biobanks, while 16.1% of facilities did so in the past. Moreover, some institutions currently provide or formerly provided UCB to medical treatment facilities, research institutions, companies, or overseas treatment facilities, research institutions, or companies. A certain number of institutions handling childbirth did not even provide explanations or obtain consent when the UCB was harvested from private bank users.ConclusionsThis is the first study to determine the status of UCB provision to private banks by Japanese institutions handling childbirth. Future studies will need to examine in detail how institutions handling childbirth provide explanations to private bank users and UCB providers as well as how these institutions obtain consent. (shrink)

The purpose of the current study was to examine the influence of individuals’ help-seeking preference and their collective perception of the organizational climate in school on teachers’ mental health. Previous studies demonstrated that HSP was negatively associated with risk of burnout, suggesting that teachers who hesitate to seek help from their colleagues are more likely to have mental health problems. Thus, the current study hypothesized that a collegial organizational climate would be negatively associated with burnout. To test this hypothesis, we (...) developed a scale to measure schoolteachers’ collective perception of their organizational climate, and the newly developed scale was used to assess its relationship with HSP and teachers’ burnout risk. The results demonstrated that younger teachers, a low level of help-seeking, and a less collaborative climate increased the risk of burnout. The results also showed a significant interaction effect, indicating that HSP was less closely associated with teachers’ burnout risk if their organization was perceived as having a collegial climate. These findings clearly show how the social environment of a school’s organizational climate can affect schoolteachers’ mental health in Japan. (shrink)

Context Autopsy is a useful tool for understanding the cause and manner of unexpected patient death. However, the attitudes of the general public and physicians in Japan about clinical autopsy are limited. Objective To describe the beliefs of the general public about whether autopsy should be performed and ascertain if they would actually request one given specific clinical situations where patient death occurred with the additional variable of medical error. To compare these attitudes with previously obtained attitudes of physicians practising (...) at Japanese teaching hospitals. Design, setting and participants We conducted a cross-sectional study of the general public. We sent standardised questionnaires in 2010 to a randomly selected non-physician adult population using a survey company for participant selection. Respondents gave their opinions about the necessity of autopsy and how they might act given various clinical scenarios of patient death. We compared these results with those of a previous survey of Japanese physicians conducted in 2009. Results Of the 2300 eligible general adult population, 1575 (68.5%) responded. The majority of the general public indicated they believed an autopsy was necessary. However, in cases of unclear medical error or unclear cause and effect relationship of medical care and patient death, the general public were much less likely to indicate they would actually request an autopsy than were physicians (p<0.0001). Currently in Japan the debate about the role autopsy should play in the case of error related to death is underway. The results from this study will be important in informing related decisions. (shrink)

The vestibulo-ocular reflex plays an important role in controlling the gaze at a visual target. Although patients with vestibular hypofunction aim to improve their VOR function, some retain dysfunction for a long time. Previous studies have explored the effects of direct current stimulation on vestibular function; however, the effects of random noise stimulation on eye–head coordination have not previously been tested. Therefore, we aimed to clarify the effects of high frequency noisy vestibular stimulation on eye–head coordination related to VOR function. (...) Thirteen healthy young adult participants with no serious disease took part in our study. The current amplitude and density used were 0.4 mA and 0.2 mA/cm2, respectively, with a random noise frequency of 100–640 Hz. The electrodes were located on both mastoid processes. The stimulus duration and fade in/out duration were 600 and 10 s, respectively. Subjects oscillated their head horizontally, gazing at the fixation point, at 1 Hz for 30 repetitions. The coordination of eye–head movements was measured by eye-tracking and a motion capture system. Peak-to-peak angles for eye and head movement and deviation of the visual line from the fixation target revealed no significant differences between HF-nVS and sham. The lag time between the eye and head movement with HF-nVS post-stimulation was significantly shorter than that of the sham. We found that HF-nVS can reduce the lag time between eye and head movement and improve coordination, contributing to a clear retinal image. This technique could be applied as a form of VOR training for patients with vestibular hypofunction. (shrink)

Previous studies on whether punishers are rewarded by reputational gains have yielded conflicting results. Some studies have argued that punitive behaviors potentially result in a positive evaluation, while others have found the opposite. This study aims to clarify the conditions that lead to the positive evaluation of costly punishment. Study 1 utilized one-round and repeated public goods game situations and manipulated decision time for participants’ punitive behavior toward the non-cooperative person in the situation. We also asked participants to report their (...) impression evaluations of punitive behavior toward non-cooperative people. Moreover, utilizing the second- and third-party punishment games, Study 2 manipulated the decision time of participants’ punitive behavior toward the self-interested person and asked them to evaluate the punitive behavior. The results showed that those who punished intuitively were not likely to be evaluated positively. However, punishers were rewarded when the decision to punish was made after deliberation or made by those who were not direct victims. These findings extend previous research on the evaluation of punitive behavior and reveal that deliberative punishment is evaluated positively occasionally. (shrink)

There is growing evidence that individuals with social anxiety show impaired cortisol recovery after experiencing social evaluative stressors. Yet, little is known regarding the cognitive processes underlying such impaired cortisol recovery. The present study examined the effect of post-event processing (PEP), referred to as repetitive thinking about social situations, on cortisol recovery following a social stressor. Forty-two non-clinical university students (23 women, 19 men, mean age = 22.0 ± 2.0 years) completed the Trier Social Stress Test (TSST), followed by a (...) thought sampling procedure which assessed the frequency of PEP reflecting the TSST. A growth curve model showed PEP and social anxiety interactively predicted cortisol recovery. In particular, PEP predicted impaired cortisol recovery in those with low levels of social anxiety but not in those with high levels of social anxiety, which contradicted the initial hypothesis. These findings suggest that PEP is differentially associated with cortisol recovery depending on levels of social anxiety. The possible mechanisms underlying these findings were discussed in terms of protective inhibition framework. (shrink)

Cognitive behavioral therapy (CBT) is often effective in the treatment of school refusal (SR). Its usefulness is limited, however, if youth displaying SR also refuse to attend treatment sessions. In these cases parents and school staff may consider using school-based interventions that do not rely on face-to-face assessment and treatment with the young person. The current study examined the effectiveness of a school-based intervention applied in Japan to achieve rapid return to school among adolescents displaying SR. Between 2009 and 2015, (...) the parents of 62 adolescents displaying SR were invited to implement a school-based rapid return approach. Thirty-nine parents agreed to implement the approach and 23 decided to wait until their child spontaneously attended school. Of the 39 cases in which the approach was implemented, 28 adolescents (72%) resumed attendance at their original school, 2 (5%) transferred to another school, and 9 (23%) did not resume attendance. In contrast, all 23 non-intervention cases continued to refuse to attend school for three months or longer, and none of these adolescents returned to regular school attendance within nine months. This study tentatively suggests that the rapid return approach may be an effective form of intervention for adolescents displaying SR and simultaneously refusing to attend individual therapy. Because this approach is ethically complex, involving forced school attendance in adolescence, it should only be employed under specific circumstances. These circumstances are discussed. (shrink)

A sense of agency (SoA) is the experience of subjective awareness regarding the control of one’s actions. Humans have a natural tendency to generate prediction models of the environment and adapt their models according to changes in the environment. The SoA is associated with the degree of the adaptation of the prediction models, e.g., insufficient adaptation causes low predictability and lowers the SoA over the environment. Thus, identifying the mechanisms behind the adaptation process of a prediction model related to the (...) SoA is essential for understanding the generative process of the SoA. In the first half of the current study, we constructed a mathematical model in which the SoA represents a likelihood value for a given observation (sensory feedback) in a prediction model of the environment and in which the prediction model is updated according to the likelihood value. From our mathematical model, we theoretically derived a testable hypothesis that the prediction model is updated according to a Bayesian rule or a stochastic gradient. In the second half of our study, we focused on the experimental examination of this hypothesis. In our experiment, human subjects were repeatedly asked to observe a moving square on a computer screen and press a button after a beep sound. The button press resulted in an abrupt jump of the moving square on the screen. Experiencing the various stochastic time intervals between the action execution button-press) and the consequent event square jumping caused gradual changes in the subjects' degree of their SoA. By comparing the above theoretical hypothesis with the experimental results, we concluded that the update (adaptation) rule of the prediction model based on the SoA is better described by a Bayesian update than by a stochastic gradient descent. (shrink)

Este relato de experiência discute um eixo de um projeto de ensino, pesquisa e extensão multi e interdisciplinar sobre educação e humanização da morte. Trata-se de ações da Psicologia destinadas à saúde mental dos trabalhadores do serviço funerário da cidade de São Paulo. A intervenção dividiu-se em duas etapas: visitas aos cemitérios, para aproximação daqueles pesquisadores à realidade e às demandas desses servidores; e oficinas com técnicas de dinâmica de grupo. Estas aconteceram por cinco meses, contaram com 130 participantes — (...) motoristas, sepultadores, “veloristas”, supervisores e gestores de recursos humanos — e tiveram como facilitadoras as integrantes da graduação e da pós-graduação em Psicologia. A análise das oficinas evidenciou, da parte dos servidores, sensibilização para suas necessidades em favor da saúde mental, percepção do valor de cuidado e humanização em suas relações profissionais e pessoais. Ademais, ações como essa realçaram a relevância de frequente acolhimento psicólogico a trabalhadores de serviços funerários. (shrink)