Since the bilateral commerce between the USA and China changes greatly and Chinese government continues to reform and delegate power in the economic field, it is of importance to study the Uniform Commercial Code of the USA. The study specifically studies the features of modal verbs in the UCC through the comparison with the United States Code and Frown. With the help of Antconc, the distribution of modal verbs, the modal value of the three sets of corpora are examined and (...) analyzed based on the theory of Halliday’s systemic-functional grammar. The results show that there are significant differences between the three sets of corpora and the three main features of modal verbs in the UCC are: the high frequency use of may, the relatively lower frequency use of legal modal verb shall, and the much higher frequency of must and may not. The seemingly contrary usages within the UCC are discussed and explained with the background of the legislation and the legal thoughts of the major legislator in a sociosemiotic approach. With both the quantitative and qualitative analysis combining the examples, the study hopes to shed light on the related legal translation and further enhance the understanding of the modal verbs in the UCC as well as legal discourse in a more general context. (shrink)

Stroke and other neurological disorders have an effect on mobility which has a significant impact on independence and quality of life. The core rehabilitation requirements for patients with lower limb motor dysfunction are gait training, restand, and mobility. In this work, we introduce a newly developed multifunctional wheelchair that we call “ReChair” and evaluated its performance preliminarily. ReChair seamlessly integrates the mobility, gait training, and multiposture transformation. ReChair driving and multiposture transformation are done using the voice, button, and mobile terminal (...) control. This work describes the functional requirements, mechanical structure, and control system and the overall evaluation of ReChair including the kinematic simulation of the multiposture transformation and passive lower limb rehabilitation training to quantitatively verify the motion capability of ReChair, the voice control system evaluation that shows how the voice recognition system is suitable for home environment, the sensorless speed detection test results that indicate how the wheel speeds measured by sensorless method are appropriate for travelling control, and the passive and balance training test results that show how the lower limb rehabilitation training in daily life by ReChair is convenient. Finally, the experimental results show that ReChair meets the patients’ requirements and has practical significance. It is cost-effective, easy to use, and supports multiple control modes to adapt to different rehabilitation phases. (shrink)

The present research explored differences in gift evaluation between gift givers and receivers. Three studies were conducted to test how the pricing influenced the gift evaluations of givers and receivers, and whether the price-quality and price-monetary sacrifice inferences were the underlying mechanisms. The results showed that: givers evaluated high-priced gifts as better than low-priced gifts, whereas receivers evaluated low-priced gifts as better than high-priced gifts; price-quality inference mediated the effect of pricing on gift evaluations, but only for givers. Furthermore, the (...) effect of pricing on gift evaluation was moderated by the gift type: givers evaluated the high-priced gift as better only for the desirable gift ; receivers evaluated the low-priced gift as better only for the feasible gift. The results demonstrate the effect of pricing on gift evaluation and could contribute to understanding the differences between givers’ and receivers’ perception of what a “good gift” is, and the underlying psychological mechanisms. (shrink)

ObjectiveTo investigate the association of standing balance with cognitive functions and the rate of cognitive decline among middle-aged and older Chinese adults.MethodsParticipants were selected from China’s Health and Retirement Longitudinal Study. A total of 8,499 subjects aged ≥45 years who participated in wave 1 to wave 3 surveys were included in the final analysis. Standing balance was measured using the tandem test, and participants were categorized into two groups according to their ability to maintain standing balance. Cognitive functions were assessed (...) in three domains: episodic memory, mental status, and global cognition. The associations between standing balance scores, cognitive scores, and the rate of cognitive decline were evaluated using linear regression and linear mixed models.ResultsCompared with participants who successfully completed the standing balance test, those who were unable to complete the test had lower scores on episodic memory [β = −0.18; 95% confidence interval : −0.24, −0.11], mental status, and global cognition after 4 years of follow-up. In addition, the rate of decline in mental status and global cognition increased by 0.10 and 0.08 units, respectively, in participants who were unable to complete the test compared with their counterparts.ConclusionGood standing balance was significantly associated with higher cognitive function and a lower decline in mental status and global cognition in middle-aged and older Chinese adults. (shrink)

Lumbar Exoskeleton, as an important instance of wearable exoskeleton, has broad application prospects in logistics, construction, and other industries. Specifically, in the working scenarios that require long-term and repeated bending and rising movements, active lumbar exoskeleton can provide effective protection and flexible assistance to wear’s waist muscles and bones, which will significantly reduce the risk of lumbar muscle strain. How to improve the human-machine coupling and enhance the assistance performance are the main challenges for ALE’s development. Based on the biomechanical (...) analysis of the movement of lifting heavy objects from bottom up, this paper proposes a lightweight but powerful ALE, named as SIAT-WEXv2, which can output maximum assistive force of 28 N. Additionally, we use robust fuzzy adaptive algorithm to improve SIAT-WEXv2’s antidisturbance ability, so that it can provide continuous and supple assistance for wearer. Electromyography signals of the lumbar erector spinae from ten subjects in two experimental cases were collected to evaluate the effectiveness of our new ALE. The experimental results indicate that the reduction of iEMG signal at LES decreased monotonically from 60% ± 5.5% to 40.5% ± 6.5% as the weight of lifting load increased from 0 to 25 kg. (shrink)

This study aimed to analyze the relations between class competition and primary school students’ academic achievement, considering the possible mediating roles of learning anxiety and learning engagement. Participants were 1,479 primary school students from four primary schools in Zhejiang, China. We analyzed participants’ scores for class competition, learning anxiety, and learning engagement and their last two final exam scores. Class competition did not directly predict academic achievement, but indirectly affected academic achievement through learning anxiety and learning engagement. There were three (...) effect paths: class competition negatively predicted academic achievement by increasing learning anxiety; class competition positively predicted academic achievement by promoting learning engagement; and class competition affected academic achievement through multiple mediating effects of learning anxiety and learning engagement. This study highlights the important roles of learning anxiety and learning engagement in class competition and academic achievement, which have theoretical and practical significance. (shrink)

Sustainable development of enterprises has attracted the attention of scholars and practitioners. Green entrepreneurship, as an important way to provide eco-friendly products and solve environmental problems, is a key way for the sustainable development of enterprises. However, due to the disadvantage faced by enterprises in pursuing costly sustainable actions, existing research on whether green entrepreneurial orientation (GEO) can bring about sustainable performance improvement has not yet reached a consensus, and the path and mechanism of transforming GEO into sustainable performance also (...) need further exploration. Based on the Natural-Resource-Based View (NRBV), Entrepreneurial Orientation Theory and Dynamic Capability View (DCV), this study examines the impact of GEO on sustainable performance, the mediating role and chain mediating role of entrepreneurial opportunity recognition (EOR), and business model innovation (BMI). The results based on 207 agricultural enterprises reveal that: (a) GEO positively influences economic performance, environmental performance, and social performance; (b) EOR and BMI play mediating roles in the above relationships; (c) GEO can also indirectly affects sustainable performance through the chain mediating effect of EOR and BMI. The research results provide a new theoretical perspective for understanding the key antecedents of sustainable performance of enterprises, further open the “black box” of the mechanism between GEO and sustainable performance, expand the NRBV, Entrepreneurial Orientation Theory and DCV, and provide practical implications for green transformation in the agricultural sector and promoting its sustainable development. (shrink)

In previous experiments on unconscious thought, information was presented to participants in one continuous session; however, in daily life, information is delivered in a temporally partitioned way. We examined whether unconscious thought could equally integrate temporally scattered information when making overall evaluations. When presenting participants with information in two temporally partitioned sessions, participants’ overall evaluation was based on neither the information in the first session nor that in the second session ; instead, information in both sessions were equally integrated to (...) reach a final judgment. Conscious thought, however, overemphasized information in the second session. Experiments 3 and 4 further ruled out possible influencing factors including differences in the distributions of positive/negative attributes in the first and second sessions and on-line judgment. These findings suggested that unconscious thought can integrate information from a wider range of periods during an evaluation, while conscious thought cannot. (shrink)

While an increasing number of organizations have introduced artificial intelligence as an important facilitating tool for learning online, the application of artificial intelligence in e-learning has become a hot topic for research in recent years. Over the past few decades, the importance of online learning has also been a concern in many fields, such as technological education, STEAM, AR/VR apps, online learning, amongst others. To effectively explore research trends in this area, the current state of online learning should be understood. (...) Systematic bibliometric analysis can address this problem by providing information on publishing trends and their relevance in various topics. In this study, the literary application of artificial intelligence combined with online learning from 2010 to 2021 was analyzed. In total, 64 articles were collected to analyze the most productive countries, universities, authors, journals and publications in the field of artificial intelligence combined with online learning using VOSviewer through WOS data collection. In addition, the mapping of co-citation and co-occurrence was explored by analyzing a knowledge map. The main objective of this study is to provide an overview of the trends and pathways in artificial intelligence and online learning to help researchers understand global trends and future research directions. (shrink)

Instructional interactions, which includes student–student interaction, student–teacher interaction, and student–content interaction, are crucial factors affecting the learning outcomes in online education. The current study aims to explore the effects of instructional interactions on individuals’ learning outcomes based on the Interactive Equivalence Theory by conducting two empirical studies. In Study 1, we explored the direct relationships between instructional interactions and learning outcomes. A quasi-experimental design was used to manipulate the two groups of subjects, and the results show that not all of (...) the three types of interaction can significantly positively predict learning satisfaction, among which ST cannot significantly predict learning satisfaction. When the total amount of instructional interactions is constant, adjusting the relative level of the three types of instructional interactions can effectively improve the learning outcomes to some extent. We further probed into the mediating effects of task value and self-regulated learning on the relationships between instructional interactions and learning outcomes in Study 2. We conducted an online survey and collected 374 valid data. The results showed that task values mediated the relationship between SS and learning satisfaction. In addition, SC can not only directly affect learning satisfaction, but also affect it through task value and self-regulated learning respectively, or via chain mediations of both task value and self-regulated learning. Our findings enrich the previous instructional interactions research and provide reference for online education curriculum design. (shrink)

Online learning resources play an important role in teaching and learning in the process of online learning. Teachers will be satisfied with selectable and suitable online learning resources, which can promote their self-efficacy to facilitate online teaching and learning. This study proposed a model to examine the effects of the selectivity of online learning resources and the suitability of online learning resources on teachers’ online teaching satisfaction, and the mediating role of technology self-efficacy and online teaching self-efficacy between them. The (...) results indicated that SE-OLR and SU-OLR positively affected teachers’ online teaching satisfaction; TECHN-SE and OT-SE positively influenced teachers’ online teaching satisfaction, while TECHN-SE and OT-SE played mediating roles between SE-OLR and SU-OLR and teachers’ online teaching satisfaction. The findings have implications for the design and development of online learning resources to improve teachers’ satisfaction and facilitate students’ learning effectiveness and teachers’ online teaching. (shrink)

ObjectiveType 2 diabetes mellitus (T2DM) is a high risk of cognitive decline and dementia, but the underlying mechanisms are not yet clearly understood. This study aimed to explore the functional connectivity (FC) and topological properties among whole brain networks and correlations with impaired cognition and distinguish T2DM from healthy controls (HC) to identify potential biomarkers for cognition abnormalities.MethodsA total of 80 T2DM and 55 well-matched HC were recruited in this study. Subjects’ clinical data, neuropsychological tests and resting-state functional magnetic resonance (...) imaging data were acquired. Whole-brain network FC were mapped, the topological characteristics were analyzed using a graph-theoretic approach, the FC and topological characteristics of the network were compared between T2DM and HC using a general linear model, and correlations between networks and clinical and cognitive characteristics were identified. The support vector machine (SVM) model was used to identify differences between T2DM and HC.ResultsIn patients with T2DM, FC was higher in two core regions [precuneus/posterior cingulated cortex (PCC)_1 and later prefrontal cortex_1] in the default mode network and lower in bilateral superior parietal lobes (within dorsal attention network), and decreased between the right medial frontal cortex and left auditory cortex. The FC of the right frontal medial-left auditory cortex was positively correlated with the Montreal Cognitive Assessment scales and negatively correlated with the blood glucose levels. Long-range connectivity between bilateral auditory cortex was missing in the T2DM. The nodal degree centrality and efficiency of PCC were higher in T2DM than in HC (P < 0.005). The nodal degree centrality in the PCC in the SVM model was 97.56% accurate in distinguishing T2DM patients from HC, demonstrating the reliability of the prediction model.ConclusionFunctional abnormalities in the auditory cortex in T2DM may be related to cognitive impairment, such as memory and attention, and nodal degree centrality in the PCC might serve as a potential neuroimaging biomarker to predict and identify T2DM. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

Empathy is an important human ability associated with successful social interaction. It is currently unclear how to optimally measure individual differences in empathic processing. Although the Big Five model of personality is an effective model to explain individual differences in human experience and behavior, its relation to measures of empathy is currently not well understood. Therefore, the present study was designed to investigate the relationship between the Big Five personality concept and two commonly used measures for empathy (Empathy Quotient (EQ), (...) Interpersonal Reactivity Index (IRI)) in four samples from China, Germany, Spain and the United States of America. This approach was designed to advance the way the Big Five personality model can be used to measure empathy. We found evidence of medium effect sizes for associations between personality and empathy, with agreeableness and conscientiousness as the most important predictors of affective and cognitive empathy (measured by the respective IRI subscales) as well as a for a one-dimensional empathy score (measured by the EQ). Empathy in a fictional context was most closely related to openness to experience while personal distress was first of all related to neuroticism. In terms of culture, we did not observe any distinct pattern concerning cultural differences. These results support the cross-cultural applicability of the Empathy Quotient and the Interpersonal Reactivity Index and indicate structurally similar associations between personality and empathy across cultures. (shrink)

Previous studies argue that religious firms are more ethical and thus engage less in accrual earnings management. At odds with the ethical view, we use a sample of Chinese listed firms and show that firms in religious regions use more real earnings management. We postulate that besides ethics, religion also proxies for risk aversion, which motivates firms to substitute accrual earnings management with real earnings management. Consistent with this view, we show that the positive association between religiosity and real earnings (...) management is more pronounced for firms with lower litigation risk and for firms with less reputable auditors. In addition, we use a mediation model introduced by Baron and Kenny :1173–1182, 1986) to show that religiosity affects earnings management through the channel of risk aversion. We conclude that firms choose real earnings management over accrual-based earnings management because of risk aversion, rather than ethical reasons. (shrink)

Previous studies argue that religious firms are more ethical and thus engage less in accrual earnings management. At odds with the ethical view, we use a sample of Chinese listed firms and show that firms in religious regions use more real earnings management. We postulate that besides ethics, religion also proxies for risk aversion, which motivates firms to substitute accrual earnings management with real earnings management. Consistent with this view, we show that the positive association between religiosity and real earnings (...) management is more pronounced for firms with lower litigation risk and for firms with less reputable auditors. In addition, we use a mediation model introduced by Baron and Kenny :1173–1182, 1986) to show that religiosity affects earnings management through the channel of risk aversion. We conclude that firms choose real earnings management over accrual-based earnings management because of risk aversion, rather than ethical reasons. (shrink)

本书收入了31篇论文,涉及价值哲学研究领域的诸多方面,包括关于价值哲学研究的一般方法与价值哲学的范畴体系的讨论,关于价值存在范围与价值本质的商榷与争鸣等内容。.

本书主要篇目为:论法的起源和本质、论法律与国家、论法的种类、作用、规范等18个大类。.

本书收有1987年11月北京召开的首届“政治科学学研讨会”论文20篇,文章用政治科学学观点对近代一些著名的政治科学现象进行了分析研究。.

Speech recognition by second language (L2) learners in optimal and suboptimal conditions has been examined extensively with English as the target language in most previous studies. This study extended existing experimental protocols ( Wang et al., 2013 ) to investigate Mandarin speech recognition by Japanese learners of Mandarin at two different levels (elementary vs. intermediate) of proficiency. The overall results showed that in addition to L2 proficiency, semantic context, F0 contours, and listening condition all affected the recognition performance on the (...) Mandarin sentences. However, the effects of semantic context and F0 contours on L2 speech recognition diverged to some extent. Specifically, there was significant modulation effect of listening condition on semantic context, indicating that L2 learners made use of semantic context less efficiently in the interfering background than in quiet. In contrast, no significant modulation effect of listening condition on F0 contours was found. Furthermore, there was significant interaction between semantic context and F0 contours, indicating that semantic context becomes more important for L2 speech recognition when F0 information is degraded. None of these effects were found to be modulated by L2 proficiency. The discrepancy in the effects of semantic context and F0 contours on L2 speech recognition in the interfering background might be related to differences in processing capacities required by the two types of information in adverse listening conditions. (shrink)

The 2D:4D-Ratio, as an indirect measure of the fetal testosterone to estradiol ratio, is potentially very important for understanding and explaining different personality traits. It was the aim of the present study to replicate the findings from Fink et al. (2004) about the relation between individual differences in 2D:4D-Ratios and the Five Factor Model in different cultural groups. Therefore a sample of n = 78 Chinese and n = 370 German participants was recruited. Every participant provided hand scans of both (...) hands, from which 2D:4D-Ratios were computed. Moreover, all participants filled in the NEO Five Factor Inventory (NEO-FFI). Significant sex differences were found for ratios of both hands in the expected direction, with females showing higher ratios than males. With respect to links between personality and the digit ratio, a positive association was observed between 2D:4D-Ratio and Neuroticism in females, as shown in the earlier study. These findings were observed in both female subsamples from China and Germany, as well as in the full sample of participants. But in contrast to the results for the whole and the German female sample, where 2D:4D-Ratio of both hands were related to Neuroticism, in the Chinese female sample only left hand 2D:4D-Ratio was significantly and positively related to Neuroticism. There were no significant correlations found in any of the male samples. Thus, prenatal exposure to sex steroids appears to influence the personality factor Neuroticism in females specifically. This finding potentially has implications for mental health, as Neuroticism has been shown to be a risk factor for various forms of psychopathology. (shrink)

Workplace aggression has been established as a prevalent and detrimental issue in organizations. While numerous studies have documented the important role of leaders in inhibiting or accelerating workplace aggression, a systematic overview of the associations between different leadership styles and workplace aggression as well as its boundary conditions is still lacking. This study reports a meta-analysis investigating the associations between leadership and workplace aggression. Drawing on data from 165 samples, our results revealed that change-oriented, relational-oriented, and values-based and moral leadership (...) were associated with reduced workplace aggression. In contrast, passive and destructive leadership were associated with increased workplace aggression. Importantly, relative weights analyses revealed that ethical leadership was most strongly negatively associated with workplace aggression. Additionally, moderation analyses revealed that the associations between leadership and workplace aggression were, in some cases, moderated by power distance and rating sources, but independent of measurement time lag. Overall, the findings of this meta-analysis highlight the important associations between leadership and workplace aggression. Implications for future research and policy recommendations aiming to reduce workplace aggression are discussed. (shrink)

Throughout the developing world, it is a well-documented fact that women farmers tend to get lower yields than their male counterparts. Typically this is attributed to disproportionate access to high-quality inputs and labor, with some even arguing there could be a skills-gap stemming from unbalanced access to training and education. This article examines the gender-based yield gap in the context of Zambian maize producers. In addition to the usual drivers, we argue that Zambia’s patriarchal and multi-tiered land distribution system could (...) disfavor women with respect to accessing quality soils. We are uniquely able to control for soil characteristics using farm data from a sample of 1573 fields with accompanying soil analysis. We find an expected difference in yields, but no evidence of a gap in unobserved characteristics, like skill, after controlling for access to inputs, especially quality soil, suggesting women are indeed disproportionately disadvantaged. We discuss how our findings could be used to develop self-targeting policy interventions that could empower women and would be consistent with the government’s stated equity goals. (shrink)

In the automatic detection of epileptic seizures, the monitoring of critically ill patients with time varying EEG signals is an essential procedure in intensive care units. There is an increasing interest in using EEG analysis to detect seizure, and in this study we aim to get a better understanding of how to visualize the information in the EEG time-frequency feature, and design and train a novel random forest algorithm for EEG decoding, especially for multiple-levels of illness. Here, we propose an (...) automatic detection framework for epileptic seizure based on multiple time-frequency analysis approaches; it involves a novel random forest model combined with grid search optimization. The short-time Fourier transformation visualizes seizure features after normalization. The dimensionality of features is reduced through principal component analysis before feeding them into the classification model. The training parameters are optimized using grid search optimization to improve detection performance and diagnostic accuracy by in the recognition of three different levels epileptic of conditions (healthy subjects, seizure-free intervals, seizure activity). Our proposed model was used to classify 500 samples of raw EEG data, and multiple cross-validations were adopted to boost the modeling accuracy. Experimental results were evaluated by an accuracy, a confusion matrix, a receiver operating characteristic curve and an area under the curve. The evaluations indicated that our model achieved the more effective classification than some previous typical methods. Such a scheme for computer-assisted clinical diagnosis of seizures has a potential guiding significance, which not only relieves the suffering of patient with epilepsy to improve quality of life, but also helps neurologists reduce their workload. (shrink)

In the traditional system of Chinese families, individuals are embedded in the institution of the family with defined obligations to enhance family development. As a consequence of the male-biased sex ratio at birth in China since the 1980s, an increasing number of surplus rural males have been affected by a marriage squeeze becoming involuntary bachelors. Under China’s universal heterosexual marriage tradition, family development of rural involuntary bachelors has largely been ignored, but in China’s gender-imbalanced society, it is necessary to adopt (...) a family-based approach to identify and study the plight of rural involuntary bachelors. Studies on gender imbalance indicate that these men face multiple risks from the perspectives of their life course, the family life cycle, and the family ethic. To a certain extent, these risks are caused by a conflict between the individual’s family life and family ethics and are mainly reflected in problems concerning marriage, health, and old-age support. Not only do these vulnerabilities affect the individual and family development across the whole life cycle but also pose major risks to social development in the face of strong gender imbalance. In order to deal with risks faced by rural involuntary bachelors, core ethical principles, including autonomy, beneficence, and justice, need to be adopted. Through adjustments to informal support provided by the family and formal support provided by policy-makers, risk of uncertainty in family development faced by rural involuntary bachelors could be reduced. (shrink)

Recent research has suggested that not all grapheme-colour synaesthetes are alike. One suggestion is that they can be divided, phenomenologically, in terms of whether the colours are experienced in external or internal space. Another suggestion is that they can be divided according to whether it is the perceptual or conceptual attributes of a stimulus that is critical. This study compares the behavioural performance of 7 projector and 7 associator synaesthetes. We demonstrate that this distinction does not map on to behavioural (...) traits expected from the higher–lower distinction. We replicate previous research showing that projectors are faster at naming their synaesthetic colours than veridical colours, and that associators show the reverse profile. Synaesthetes who project colours into external space but not on to the surface of the grapheme behave like associators on this task. In a second task, graphemes presented briefly in the periphery are more likely to elicit reports of colour in projectors than associators, but the colours only tend to be accurate when the grapheme itself is also accurately identified. We propose an alternative model of individual differences in grapheme-colour synaesthesia that emphasises the role of different spatial reference frames in synaesthetic perception. In doing so, we attempt to bring the synaesthesia literature closer to current models of non-synaesthetic perception, attention and binding. (shrink)

The foundation scheme in set theory asserts that every nonempty class has an ∈\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\in $$\end{document}-minimal element. In this paper, we investigate the logical strength of the foundation principle in basic set theory and α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory. We take KP set theory without foundation as the base theory. We show that KP-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^-$$\end{document} + Π1\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi _1$$\end{document}-Foundation + V=L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V=L$$\end{document} is enough to carry out finite injury arguments in α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory, proving both the Friedberg-Muchnik theorem and the Sacks splitting theorem in this theory. In addition, we compare the strengths of some fragments of KP. (shrink)

Inspired by a framework of multi lingual sequent calculus, we introduce a formal logical system called locally continuous sequent calculus to represent _L_-domains. By considering the logic states defined on locally continuous sequent calculi, we show that the collection of all logic states of a locally continuous sequent calculus with respect to set inclusion forms an _L_-domain, and every _L_-domain can be obtained in this way. Moreover, we define conjunctive consequence relations as morphisms between our sequent calculi, and prove that (...) the category of locally continuous sequent calculi and conjunctive consequence relations is equivalent to that of _L_-domains and Scott-continuous functions. This result extends Abramsky’s “Domain theory in logical form” to a continuous setting. (shrink)