•  124
    Propositional logics of dependence
    Annals of Pure and Applied Logic 167 (7): 557-589. 2016.
  • Li Bai de Ren Sheng Zhe Xue Shi Jiu Ren Sheng
    with Chufa Xie and Bo Li
    . 1996.
  •  101
    It is of great significance to predict the results accurately based on the statistics of sports competition for participants research, commercial cooperation, advertising, and gambling profit. Aiming at the phenomenon that the PageRank page sorting algorithm is prone to subject deviation, the category similarity between pages is introduced into the PageRank algorithm. In the PR value calculation formula of the PageRank algorithm, the factor W between pages is added to replace the original Nu. In…Read more
  •  75
    Gaussian-Based Soft Computing Approach to Alternative Banking System for Sustainable Financial Sector
    with Hakan Kalkavan, Hasan Dinçer, Serhat Yüksel, and Serkan Eti
    Complexity 2021 1-27. 2021.
    This study aims to identify the necessary strategies for the development of a sustainable financial system. For this purpose, a novel approach could be provided for soft computing with Gaussian-based fuzzy DEMATEL approach to understand the significant levels and impact-relation degrees of these criteria. For robustness check, this evaluation has also been performed for triangular and trapezoidal fuzzy sets. There are many novelties of this study. Firstly, computer science has a significant role…Read more
  •  36
    Cooperative care as origins of the “happy ape”?
    Behavioral and Brain Sciences 46. 2023.
    Grossmann proposes an interesting framework to explain how heightened fearfulness among humans could be evolutionarily adaptive in the context of cooperative care. I would like to propose that cooperative care may also be a potential mechanism promoting enhanced happiness expression among humans, shedding light on questions about the scope and boundary of the fearful ape hypothesis.
  •  60
    Negation and partial axiomatizations of dependence and independence logic revisited
    Annals of Pure and Applied Logic 170 (9): 1128-1149. 2019.
    In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in [22] and [11]. We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extende…Read more
  •  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.
  •  114
    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.
  •  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
  •  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.