•  46
    Introduction
    with Jouko Väänänen and Philip Scott
    Annals of Pure and Applied Logic 173 (10): 103168. 2022.
  •  47
    Propositional union closed team logics
    Annals of Pure and Applied Logic 173 (6): 103102. 2022.
  •  75
    This essay deploys the joint lenses of branding and space to examine the hegemonic operation of the Apple brand in the global culture industry. It does so by analyzing China’s ‘fake Apple Store’ event in 2011, which began with an American expat blogger’s discovery and subsequently caught the attention of global news media. While copying the look of an official Apple Store, these retailers displayed and sold genuine products originally assembled in China. Probing the cultural logic that gave rise…Read more
  •  113
    Propositional team logics
    Annals of Pure and Applied Logic 168 (7): 1406-1441. 2017.
  •  113
    From intimidation to love: Taoist philosophy and love-based environmental education
    with Jing Lin and Thomas Culham
    Educational Philosophy and Theory 51 (11): 1117-1129. 2019.
    For decades, a review of environmental education initiatives in and beyond schools indicates that many of them were implemented from an anthropocentric perspective. The rationale behind them is often that we must not destroy the environment because doing so is harmful for ourselves, human beings. One striking feature of the various forms of environmental education is the use of fear as a motivator, as people are warned about the frightening consequences of environmental destruction on their life…Read more
  •  78
    Axiomatizing first order consequences in inclusion logic
    Mathematical Logic Quarterly 66 (2): 195-216. 2020.
    Inclusion logic is a variant of dependence logic that was shown to have the same expressive power as positive greatest fixed‐point logic. Inclusion logic is not axiomatisable in full, but its first order consequences can be axiomatized. In this paper, we provide such an explicit partial axiomatization by introducing a system of natural deduction for inclusion logic that is sound and complete for first order consequences in inclusion logic.
  •  93
    Applying the Virtual Input-Output Method to the Identification of Key Nodes in Busy Traffic Network
    with Fei Yan, Chikun Zhang, Xiaoying Tang, Jianchang Li, Xindan Zhang, and Yingxin Gan
    Complexity 2021 1-7. 2021.
    How to identify the key nodes effectively in urban traffic networks to achieve the equitable resource allocation face to the complex traffic network? This issue needs to be solved in current traffic management. This study considered the urban traffic network topology and network traffic status, put forward an improved model based on the economics of the input-output method by introducing a virtual node to the selected network set up with the flow of urban traffic network, sensor nodes by Leontie…Read more
  •  45
    We examine the association between benevolent leadership and team creative performance in scientific research teams. Moreover, the mediating effects of creative self-efficacy and the moderating effects of openness to experience on the relationship were also analyzed. The study sample comprised 251 postgraduates from 58 scientific research teams in Chinese universities. Results revealed that benevolent leadership was positively related to team creative performance, and creative self-efficacy part…Read more
  •  55
    The Resting-State Neural Network of Delay Discounting
    with Xueting Li and Ping Hu
    Frontiers in Psychology 13 828929. 2022.
    Delay discounting is a common phenomenon in daily life, which refers to the subjective value of a future reward decreasing as a function of time. Previous studies have identified several cortical regions involved in delay discounting, but the neural network constructed by the cortical regions of delay discounting is less clear. In this study, we employed resting-state functional magnetic resonance imaging (RS-fMRI) to measure the spontaneous neural activity in a large sample of healthy young adu…Read more
  •  169
    Intuitionistic dependence logic was introduced by Abramsky and Väänänen [1] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependence logic is equivalent to second order logic on the level of sentences
  •  49
    Despite its association with individual health, few studies have focused on the relationship between adolescent self-control and individual physical and mental health in adulthood. We aimed, therefore, to explore the impact of adolescent self-control on individual physical and mental health in adulthood. We employed the dataset of China Labor-Force Dynamics Surveys [CLDS]. 13,389 respondents with an average age of 45.621 years are consisted in this study. The respondents were asked to report the…Read more
  •  124
    Propositional logics of dependence
    Annals of Pure and Applied Logic 167 (7): 557-589. 2016.
  •  102
    The Janus Face of Grandiose Narcissism in the Service Industry: Self-Enhancement and Self-Protection
    with Ran Li and Xiji Zhu
    Journal of Business Ethics 183 (3): 909-927. 2022.
    Narcissism is considered a generally undesirable trait in the workplace, but is this the whole story? In grandiose narcissism, two dimensions (narcissistic rivalry and narcissistic admiration) are recognized corresponding to self-protecting and self-enhancing regulatory processes separately. Applying the self-regulation theory and the conservation of resources theory, we investigated the distinct outcomes and influencing mechanisms of the two dimensions in an organizational context using multile…Read more
  •  14
    Negotiating Boundaries: Ethical Issues in Commercial Translation
    with Dongning Feng
    In Jing Bian & Kıymet Tunca Çalıyurt (eds.), Regulations and Applications of Ethics in Business Practice, Springer Singapore. pp. 3-12. 2018.
    This research first examines the current status of translation ethics in scholarship as well as in industry. It seeks to determine that a commercial translation, specifically advertising translation and related areas, is within the ethical bounds. All commercial translations have a specific shared attribute, which is to maximise the effect of the message for the target market. Unlike other types of translation, the effect of commercial translation can be comparatively and evidently seen by the c…Read more
  •  69
    Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams
    with Fausto Barbero
    Notre Dame Journal of Formal Logic 63 (3): 301-341. 2022.
    We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we…Read more
  •  48
    Going beyond ourselves: the role of self-transcendent experiences in wisdom
    with Yena Kim and Howard C. Nusbaum
    Cognition and Emotion 37 (1): 98-116. 2023.
    Having good moral character often involves shifting one’s focus of attention from the self to others and the world. Across three studies (N = 605 adults), we found converging evidence that self-transcendent experiences, specifically awe and flow, enabled the expression of wisdom, as captured by wise reasoning and epistemic humility measures. Study 1 found that dispositionally awe- and flow-prone people have stronger wise reasoning and epistemic humility abilities, over and above dispositional ha…Read more
  • Su Dongpo di Ren Sheng Zhe Xue
    with Jun Fan
    . 1994.
  •  134
    Structural completeness in propositional logics of dependence
    Archive for Mathematical Logic 55 (7-8): 955-975. 2016.
    In this paper we prove that three of the main propositional logics of dependence, none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed. We obtain an analogous result with respect to stable substitutions, for the negative variants of some well-known intermediate logics, which are intermediate theories that are closely related to inquisitive logic.
  •  18
    李宗吾的人生哲學: 厚黑人生
    with Chiang-hao T. ang
    . 1995.
  •  73
    Complete Logics for Elementary Team Properties
    with Juha Kontinen
    Journal of Symbolic Logic 1-41. forthcoming.
    In this paper, we introduce a logic based on team semantics, called $\mathbf {FOT} $, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences and (possibly open) formulas, and we also show that a sublogic of $\mathbf {FOT} $, called $\mathbf {FOT}^{\downarrow } $, captures exactly downward closed elementary (or first-order) team properties. We axiomatize completely the logic $\mathbf {FOT} $, and also extend the known partial axiomatization of …Read more
  •  118
    Questions and Dependency in Intuitionistic Logic
    Notre Dame Journal of Formal Logic 61 (1): 75-115. 2020.
    In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team sem…Read more