Offers the first focused study of the shifei debates of the Warring States period in ancient China and challenges the imposition of Western conceptual categories onto these debates. In recent decades, a growing concern in studies in Chinese intellectual history is that Chinese classics have been forced into systems of classification prevalent in Western philosophy and thus imperceptibly transformed into examples that echo Western philosophy. Lin Ma and Jaap van Brakel offer a methodology to counter this approach, and illustrate their (...) method by carrying out a transcultural inquiry into the complexities involved in understanding shi and fei and their cognate phrases in the Warring States texts, the Zhuangzi in particular. The authors discuss important features of Zhuangzi’s stance with regard to language-meaning, knowledge-doubt, questioning, equalizing, and his well-known deconstruction of the discourse in ancient China on shifei. Ma and van Brakel suggest that shi and fei apply to both descriptive and prescriptive languages and do not presuppose any fact/value dichotomy, and thus cannot be translated as either true/false or right/wrong. Instead, shi and feican be grasped in terms of a pre-philosophical notion of fitting. Ma and van Brakel also highlight Zhuangzi’s idea of “walking-two-roads” as the most significant component of his stance. In addition, they argue that all of Zhuangzi’s positive recommendations are presented in a language whose meaning is not fixed and that every stance he is committed to remains subject to fundamental questioning as a way of life. (shrink)

Research investigating the underlying mechanisms and boundary conditions under which leader humility influences employee voice remains underdeveloped. Drawing from approach–inhibition theory of power and leader humility literature, we developed a moderated-mediation model in which personal sense of power (i.e., employees’ ability to influence other individuals such as their leader) was theorized as a unique mechanism underlining why employees feel motivated to speak up under the supervision of humble leaders. Additionally, the cultural value of power distance was proposed to be a (...) relevant boundary condition to influence such relationship. We tested the model using time-lagged supervisor–subordinate matched data. Results of mixed models analyses provided support for our hypotheses confirming that employees’ personal sense of power mediates the relationship between leader humility and employee voice, and such relationship was found to be stronger when employees’ power distance was lower rather than higher. (shrink)

Is gender-emotion stereotype a “one-hundred percent” top-down processing phenomenon, or are there additional contributions to cognitive processing from background clues when they are related to stereotypes? In the present study, we measured the gender-emotion stereotypes of 57 undergraduates with a face recall task and found that, regardless of whether the emotional expressions of distractors were congruent or incongruent with targets, people tended to misperceive the fearful faces of men as angry and the angry faces of women as fearful. In particular, (...) there was a significantly larger effect in the distractor-incongruent condition. The revised process-dissociation procedure analysis confirmed that both automatic and controlled processing have their own independent effects on gender-emotion stereotypes. This finding supports a dual-processing perspective on stereotypes and contributes to future research in both theory and methodology. (shrink)

Discusses the conditions of possibility for intercultural and comparative philosophy, and for crosscultural communication at large. This innovative book explores the preconditions necessary for intercultural and comparative philosophy. Philosophical practices that involve at least two different traditions with no common heritage and whose languages have very different grammatical structure, such as Indo-Germanic languages and classical Chinese, are a particular focus. Lin Ma and Jaap van Brakel look at the necessary and not-so-necessary conditions of possibility of interpretation, comparison, and other forms (...) of interaction and how we can speak of similarities and differences in this context. The authors posit that it is necessary to dissolve the question of universalism versus relativism by replacing the ideal language paradigm with a paradigm of family resemblances and that it is not necessary to share a common language to engage in comparison. Numerous case studies are presented, including many comparisons of Western and Chinese concepts. (shrink)

Abstract:Both Zhang Taiyan and Heidegger oppose the idea of unilinear teleological progress by unveiling the dimensions of decline embedded in modern (Western) civilization. In terms of the theory of dual "evolution," Zhang points out that accompanying the increase of good and happiness is the inevitable aggravation of evil and suffering. Critically appropriating Spengler, Heidegger diagnoses the current era as one of gigantic decline and speaks of Europe as the actualization of the decline of the West. Zhang attributes the meontological source (...) of evil and suffering to the abiding affective imprint and self-conceit, while Heidegger's thematization of decline is intimately bound up with his abiding concern with the history of Being. Confronted with the world of decline, Zhang puts forward a Zhuangzian proposal of "harmonizing between shi 是 and fei 非." In contrast, for Heidegger this decline at the same time offers the transition into the other inception of Western tradition. (shrink)

This book traces a most obscure and yet most intriguing theme concealed in Heidegger’s thinking and work, which has hitherto not yet been made the focus of a thorough and sustained investigation: that is, the emergence and course of Heidegger’s interest in East Asian thought and of his reflection on East-West dialogue. Lin Ma covers such complex issues as Heidegger’s thoughts on language, Being, technology, the other beginning, and the journey abroad, with a view to their implications for East-West dialogue. (...) It reveals the significance of his remarks on the early Greek’s confrontation with the Asiatic, and presents contextualized interpretations of his fleeting references to the topic of East-West dialogue and of his encounter with the Daodejing. Finally, it delves into "A dialogue on language" and exposes the strains and tensions that accompany Heidegger’s extension of dialogue and the Same, the two notions central to his thought, to the question of East-West dialogue. In the end, Lin Ma concludes that Heidegger’s fundamental concerns and philosophical orientations as articulated in terms of the history of Being and the other beginning have restricted him from engaging more seriously with the irresolvable and yet enduring issue of East-West dialogue. (shrink)

This book traces a most obscure and yet most intriguing theme concealed in Heidegger’s thinking and work, which has hitherto not yet been made the focus of a thorough and sustained investigation: that is, the emergence and course of Heidegger’s interest in East Asian thought and of his reflection on East-West dialogue. Lin Ma covers such complex issues as Heidegger’s thoughts on language, Being, technology, the other beginning, and the journey abroad, with a view to their implications for East-West dialogue. (...) It reveals the significance of his remarks on the early Greek’s confrontation with the Asiatic, and presents contextualized interpretations of his fleeting references to the topic of East-West dialogue and of his encounter with the Daodejing. Finally, it delves into "A dialogue on language" and exposes the strains and tensions that accompany Heidegger’s extension of dialogue and the Same, the two notions central to his thought, to the question of East-West dialogue. In the end, Lin Ma concludes that Heidegger’s fundamental concerns and philosophical orientations as articulated in terms of the history of Being and the other beginning have restricted him from engaging more seriously with the irresolvable and yet enduring issue of East-West dialogue. (shrink)

Every Berman’s variety \ which is the subvariety of Ockham algebras defined by the equation \ and \) determines a finitary substitution invariant consequence relation \. A sequent system \ is introduced as an axiomatization of the consequence relation \. The system \ is characterized by a single finite frame \ under the frame semantics given for the formal language. By the duality between frames and algebras, \ can be viewed as a \-valued logic as it is characterized by a (...) distributive lattice of \ elements with a unary operator. Moreover, a structural-rule-free, cut-free and terminating sequent system \ is established for \. The Craig interpolation property of \ is shown proof-theoretically utilizing \. (shrink)

Modern technology (Technik, la technique) has constituted the gears on which the wheels of the modern world keep turning. The later Heidegger devotes sustained reflection to this unprecedented phenomenon in human history. It is notable that, compared with other figures from twentieth-century continental philosophy, Heidegger has served as the most frequent reference point in current philosophy of technology (Technikphilosophie). This field of philosophy came into being after the so-called empirical turn of “Science and Technology Studies.” While relevant scholars focus mainly (...) on “Die Frage nach der Technik” of 1953, “Das Ge-stell” of 1949,1 and some other texts written in that period,2 the time span of Heidegger’s .. (shrink)

In this essay, we present a theory of intercultural philosophical dialogue and comparative philosophy, drawing on both hermeneutics and analytic philosophy. We advocate the approach of “de-essentialization” across the board. It is true that similarities and differences are always to be observed across languages and traditions, but there exist no immutable cores or essences. “De-essentialization” applies to all “levels” of concepts: everyday notions such as green and qing 青, philosophical concepts such as emotion(s) and qing 情, and philosophical categories such (...) as forms of life and dao 道. We argue that interpretation is a holistic multi-directional process constrained by the principle of mutual attunement. It is necessary to assume that “the other” is a human being, who, in most cases, is consistent and stating that which is true or right. This is the condition of possibility for intercultural philosophical dialogue and comparative philosophy. No more necessary conditions are needed. There is no need to presuppose concepts or categories that are universal for all humans and their languages (such as emotion(s) and qing 情). (shrink)

We argue that all general concepts are family resemblance concepts. These include concepts introduced by ostension, such as colour(s). Concepts of colour and of each of the specific colours are family resemblance concepts because similarities concerning an open‐ended range of colour or of appearance features crop up and disappear. After discussing the notion of “same colour” and Wittgenstein's use of the phrase “our colours”, we suggest family resemblance concepts in one tradition can often be extended to family resemblance concepts in (...) another tradition, illustrated by Wittgenstein's use of the words Spiel and “game”. (shrink)

ABSTRACTConsulting Heidegger's other texts composed during 1936–1942, this article employs a principle of charity and constructs a consistent discourse about an inceptual negativity Heidegger articulates through a confrontation with Hegel in GA 68. Heidegger deliberately differentiates his use of denial that bears Being-historical significance from Hegel's Negation that allegedly aims at synthesis or elevation as a dialectical movement. Being unsatisfied with his approach that remains entangled with metaphysics in the Contributions, Heidegger attempts to transform the question of the Nothing from (...) a subsidiary question to Beyng to an abyssal question. One needs to go under toward the Nothing in its concealed, conjoined, and most intimate relation to Beyng. The movement of going under is fundamentally significant for transitions that could occur from out of the history of Beyng. Never being the fullness of essence, the Nothing places a limit on Beyng, constantly thwarts its unfolding, and maint... (shrink)

We argue that all general concepts are family resemblance concepts. These include concepts introduced by ostension, such as colour. Concepts of colour and of each of the specific colours are family resemblance concepts because similarities concerning an open-ended range of colour or of appearance features crop up and disappear. After discussing the notion of “same colour” and Wittgenstein's use of the phrase “our colours”, we suggest family resemblance concepts in one tradition can often be extended to family resemblance concepts in (...) another tradition, illustrated by Wittgenstein's use of the words Spiel and “game”. (shrink)

Because they are key components of aircraft, improving the safety, reliability and economy of engines is crucial. To ensure flight safety and reduce the cost of maintenance during aircraft engine operation, a prognostics and health management system that focuses on fault diagnosis, health assessment, and life prediction is introduced to solve the problems. Predicting the remaining useful life is the most important information for making decisions about aircraft engine operation and maintenance, and it relies largely on the selection of performance (...) degradation features. The choice of such features is highly significant, but there are some weaknesses in the current algorithm for RUL prediction, notably, the inability to obtain tendencies from the data. Especially with aircraft engines, extracting useful degradation features from multisensor data with complex correlations is a key technical problem that has hindered the implementation of degradation assessment. To solve these problems, deep learning has been proposed in recent years to exploit multiple layers of nonlinear information processing for unsupervised self-learning of features. This paper presents a deep learning approach to predict the RUL of an aircraft engine based on a stacked sparse autoencoder and logistic regression. The stacked sparse autoencoder is used to automatically extract performance degradation features from multiple sensors on the aircraft engine and to fuse multiple features through multilayer self-learning. Logistic regression is used to predict the remaining useful life. However, the hyperparameters of the deep learning, which significantly impact the feature extraction and prediction performance, are determined based on expert experience in most cases. The grid search method is introduced in this paper to optimize the hyperparameters of the proposed aircraft engine RUL prediction model. An application of this method of predicting the RUL of an aircraft engine with a benchmark dataset is employed to demonstrate the effectiveness of the proposed approach. (shrink)

In this article we focus on the famous dialogue between Zhuangzi 莊子 and Huizi 惠子 concerning the question whether or not ren 人 (in particular the shengren 聖人) have qing 情. Most scholars have understood qing in this exchange as referring to “feelings” or “emotions.” We take issue with such readings. First, we demonstrate that, while Huizi probably understands qing as something like feelings or emotions, Zhuangzi’s view is that having qing is connected with making shifei 是非 judgments whereas having (...) no qing means that shifei has no grip on those ren, especially the shengren. What follows is that the expression wuqing 無情 should not be identified as a “doctrine of nonemotion.” Instead, wuqing implies that Zhuangzi advises us to lead a life of tranquility, calmness, and stillness. We show that these peaceful attitudes are associated with the idea of wuwei 無為 in the Zhuangzi. (shrink)

The Philosophical Forum, Volume 52, Issue 1, Page 65-78, Spring 2021.

From the 1920s to the 1960s, Martin Heidegger on several occasions referred to the early Greeks’ encounter with what he called ‘the Asiatic’ (_das Asiatische_). Meanwhile, he was also concerned with a sort of ontological power of destruction and ruination that according to him should be understood in the Greek sense, which he also called _das Asiatische_. In this article, I first sketch the contributions made by Asian/African traditions to the origin of Greek philosophy and highlight Heidegger’s own recognition of (...) it in the 1920s. Second, I examine Nietzsche’s remarks bearing on the early Greeks’ intricate bond with the Asiatic, which is formulated in terms of a distinction between the ‘Dionysiac Greeks’ and the ‘Dionysiac barbarians.’ Third, I scrutinize Heidegger’s relevant statements—especially those in the 1930s—in the light of Nietzsche’s influence on him. I argue that two different meanings of the Asiatic are at play in Heidegger’s thought: One is the _Greek Asiatic_, the Being-historical Asiatic; The other is the _alien Asiatic_, ‘the most foreign and most difficult’ Asiatic, which has been overcome by the Greeks. Fourth, I show that in the 1960s Heidegger seems to consider a sort of conflation of these two meanings—a conflation that remains fraught with tension. (shrink)

In The Mysterious Relations to the East, Lin Ma takes a stance against a recent trend to see in Heidegger a thinker whose thought has been formed in an 'intercultural dialogue' with the Asian, Oriental tradition of thinking. In fact, Lin Ma demonstrates, words like 'Morning-Land', 'Orient', 'East' or 'Asia' can be shown to refer in each case to the beginning of philosophy in preSocratic, Greek thought. Thus to speak of the "mysterious relations [of philosophy] to the East" is not (...) to speak of a relation of European philosophy with other traditions of thinking, but rather concerns an investigation into the very roots of European philosophy itself. Despite Heidegger's concerns with the possibility of 'inter-cultural' dialogue, as evidenced, for example, in A Dialogue on Language Between a Japanese and an Inquirer, such a dialogue has to be questioned in its very possibility in order to avoid relapsing into the universalistic language of metaphysics. (shrink)

The primary purpose here is to ascertain what Heidegger's comportment toward East-West dialogue is most plausibly like in the light of his philosophical concerns and orientations. Considering that one should not uncritically take at face value occasional remarks by Heidegger that seem to suggest that he is preparing an East-West dialogue, we will proceed from Heidegger's own path of thinking and bring to light fundamental presuppositions in his thought and the response he may accordingly give to the issue of East-West (...) dialogue. (shrink)

In this article, we trace and elucidate Heidegger’s radical re-thinking on the relation between science and technology from about 1940 until 1976. A range of passages from the Gesamtausgabe seem to articulate a reversal of the primacy of science and technology in claiming that “Science is applied technology.” After delving into Heidegger’s reflection on the being of science and technology and their “coordination,” we show that such a claim is essentially grounded in Heidegger’s idea that “Science and technology are the (...) Same [das Selbe].” In addition, we argue that, although different ontic epochs can be distinguished in the evolvement of science and/or technology, for Heidegger there is only one unique ontological Epoch of modernity that encompasses various ontic epochs. Therefore, the change from an “epoch of objectivity” to an “epoch of orderability [Bestellbarkeit]” cannot be considered to be an ontological shift. Furthermore, it is not right to ascribe to Heidegger the view that the development of quantum physics signals the beginning of a new ontological Epoch. (shrink)

: The primary purpose here is to ascertain what Heidegger's comportment toward East-West dialogue is most plausibly like in the light of his philosophical concerns and orientations. Considering that one should not uncritically take at face value occasional remarks by Heidegger that seem to suggest that he is preparing an East-West dialogue, we will proceed from Heidegger's own path of thinking and bring to light fundamental presuppositions in his thought and the response he may accordingly give to the issue of (...) East-West dialogue. (shrink)

This article revisits the theme of the feminine in Levinas's writings and the Daodejing. First it addresses the question why the feminine as thematized through eros in Levinas's early work loses her centrality in his later texts. Second it explores the feminine water metaphor and the Dao of ci 雌 in the Daodejing. On the basis of these interpretations, it attempts at an analysis of relevant ambiguities and problematics concealed in Levinas's philosophical enterprise, and urges for the exigency of an (...) intercultural perspective, instead of remaining within a singular intellectual tradition. (shrink)

This article revisits the theme of the feminine in Levinas’s writings and the Daodejing. First it addresses the question why the feminine as thematized through eros in Levinas’s early work loses her centrality in his later texts. Second it explores the feminine water metaphor and the Dao of ci in the Daodejing. On the basis of these interpretations, it attempts at an analysis of relevant ambiguities and problematics concealed in Levinas’s philosophical enterprise, and urges for the exigency of an intercultural (...) perspective, instead of remaining within a singular intellectual tradition. (shrink)

Recent years have witnessed a growth in the literature in Western languages devoted to Mou Zongsan 牟宗三.1 Among the New Confucians, Mou's writings are regarded as the most argumentative and the most systematic. He is also one who has engaged with Western philosophers such as Kant, Wittgenstein, Russell, Whitehead, Hegel, and Heidegger. This essay addresses a more primordial theme: how does Mou Zongsan compare with Heidegger when they come to the central issue of the self-transformation of traditions and the question (...) of cultural communication and integration? In relation to these concerns, they respectively formulate the notion of the self-reversal of moral reason (or of liangzhi 良知... (shrink)

In this essay, we explore the various aspects of hermeneutic relativity that have rarely been explicitly discussed. Our notion of “hermeneutic relativity” can be seen as an extension, with significant revisions, of Gadamer’s notion of Vorurteil. It refers to various choices and constraints of the interpreter, including beliefs concerning the best way of doing philosophy, what criteria are to be used to evaluate competing interpretations, and so on. The interpreter cannot completely eliminate the guidance and constraint originating from his/her “background.” (...) However, in principle the interpreter can “choose” to be guided by other constraints. Hence, we speak of “choices” or “commitments.” Hermeneutic relativity is the major cause for the variation of competing interpretations. (shrink)

In this paper, I first address two facets that can play a role in initiating a paradigm shift in comparative studies of Heidegger and Chinese philosophy: One is the necessity of renovating methodology in studies of Chinese philosophy and comparative philosophy. The other is an adequate understanding of Heidegger’s own comportment toward East-West dialogue. In this connection I briefly respond to some criticisms of my book Heidegger on East-West Dialogue: Anticipating the Event. Then I stake out three directions of re-configuration (...) or reorientation entailed in such a paradigm shift. The first direction is concerned with a deconstruction of the notion of philosophy. The second direction is related to a critical and intercultural approach to Heidegger’s thinking. The third direction is connected with the overcoming of the unilateral direction in comparative studies. (shrink)

Phraseology is a treasury of language. It is the fruit, which was born in the result of a long process of the practical use of the language. Phraseologisms give the speech power, persuasiveness, brilliance and imagery. They enliven the language and make it more emotional. In this article, we focus on the negative psycho-emotional state of a person. The negative psycho-emotional state of a person is emotion and feelings that are formed in the result of the negative mood of a (...) person and related to the dissatisfaction with vital needs. The authors of the article identified 5 phraseological subgroups that characterize the negative psycho-emotional state of a person: anger ; disgust, hatred; terror ; anxiety, agitation; sadness, melancholy. (shrink)

This essay initiates elements of a Daoist stance as regards the basic assumptions and principles involved in debates on multiculturalism. This is to be achieved via an examination of Zhang Taiyan’s 章太炎 mid-term political philosophy, which is shaped by his interpretation and further development of Daoist thinking, especially the notion of no-thing and the idea of “achieving equality by leaving things uneven”. After explicating the basic tenets that point toward a Daoist stance on what is now called multiculturalism, I discuss (...) Zhang’s concrete proposals concerning the relation between the Han 漢 lineage and the other four major ethnic groups in the to-be-established Republic of China. I then investigate Zhang’s unique theory of the state. Lastly, I explore the discordance in Zhang Taiyan’s thinking despite his privileging of Laozi 老子 and Zhuangzi’s 莊子 ideas. (shrink)

Previous research has shown that virtuous leader behavior in the form of benevolent leadership has considerable impact on employee creativity. However, little is known as to how and under what conditions these constructs are linked. In the current research, we proposed and tested a moderated mediation model positing leader–member exchange as a mediator, and employee power-distance orientation as a moderator of this relationship. Two studies were conducted to test our hypothesized model. In Study 1, repeated measured data collected from 284 (...) Chinese employees in an information technology company demonstrated that benevolent leadership had a lagged effect on LMX. In Study 2, analyses of multisource and lagged data from 391 Chinese employees in 42 research and development teams, and their direct supervisors indicated that benevolent leadership was positively related to supervisor-rated employee creativity via LMX. In addition, the relationship between benevolent leadership and LMX was stronger for employees high in power-distance orientation. Theoretical implications of benevolent leadership’s research and practical contributions concerning promoting creativity in organizations where benevolent leaders prevail are also discussed. (shrink)

Research investigating the underlying mechanisms and boundary conditions under which leader humility influences employee voice remains underdeveloped. Drawing from approach–inhibition theory of power and leader humility literature, we developed a moderated-mediation model in which personal sense of power was theorized as a unique mechanism underlining why employees feel motivated to speak up under the supervision of humble leaders. Additionally, the cultural value of power distance was proposed to be a relevant boundary condition to influence such relationship. We tested the model (...) using time-lagged supervisor–subordinate matched data. Results of mixed models analyses provided support for our hypotheses confirming that employees’ personal sense of power mediates the relationship between leader humility and employee voice, and such relationship was found to be stronger when employees’ power distance was lower rather than higher. (shrink)

We examine whether sex discrimination contributes to the underrepresentation of female executives in large corporations. China’s strong cultural preference for sons has made newborn boys greatly outnumber newborn girls. Using the male-to-female sex ratio at birth as the proxy for discrimination against women, we find that firms headquartered in more discriminatory areas hire fewer female executives. Even conditional on a woman reaching an executive position, she faces a higher likelihood of dismissal and receives lower compensation than her male counterparts. Overall, (...) our findings suggest that sex discrimination plays an important role in preventing women from climbing the corporate ladder. (shrink)

A deterministic weakening \ of the Belnap–Dunn four-valued logic \ is introduced to formalize the acceptance and rejection of a proposition at a state in a linearly ordered informational frame with persistent valuations. The logic \ is formalized as a sequent calculus. The completeness and decidability of \ with respect to relational semantics are shown in terms of normal forms. From an algebraic perspective, the class of all algebras for \ is described, and found to be a subvariety of Berman’s (...) variety \. Every linearly ordered frame is logically equivalent to its dual algebra. It is proved that \ is the logic of a nine-element distributive lattice with a negation. Moreover, \ is embedded into \ by Glivenko’s double-negation translation. (shrink)

The minimal weakening \ of Belnap-Dunn logic under the polarity semantics for negation as a modal operator is formulated as a sequent system which is characterized by the class of all birelational frames. Some extensions of \ with additional sequents as axioms are introduced. In particular, all three modal negation logics characterized by a frame with a single state are formalized as extensions of \. These logics have the finite model property and they are decidable.

Why should interpretation of conceptual schemes and practices across traditions work at all? In this paper we present the following necessary conditions of possibility for interpretation in comparative and Chinese philosophy: the interpreter must presuppose that there are mutually recognizable human practices; the interpreter must presuppose that “the other” is, on the whole, sincere, consistent, and right; the interpreter must be committed to certain epistemic virtues. Some of these necessary conditions are consistent with the fact that interpretation is not thwarted (...) by the “danger” of relativism or of incommensurability. Some other conditions are suggestive of reorientations of methodologies of comparative and Chinese philosophy. (shrink)

In this paper we extend Wittgenstein’s notion of family resemblance to translation, interpretation, and comparison across traditions. There is no need for universals. This holds for everyday concepts such as green and qing 青, philosophical concepts such as emotion and qing 情, as well as philosophical categories such as form of life and dao 道. These notions as well as all other concepts from whatever tradition are family resemblance concepts. We introduce the notion of quasi-universal, which connects family resemblance concepts (...) from a limited number of traditions. The possibility and necessity of extending family resemblance concepts across traditions dissolves the false antinomy of universalism versus relativism. (shrink)

A sequent calculus S for the variety tqBa of all topological quasi-Boolean algebras is established. Using a construction of syntactic finite algebraic model, the finite model property of S is shown, and thus the decidability of S is obtained. We also introduce two non-distributive variants of topological quasi-Boolean algebras. For the variety TDM5 of all topological De Morgan lattices with the axiom 5, we establish a sequent calculus S5 and prove that the cut elimination holds for it. Consequently the decidability (...) of S5 is established. Furthermore, this proof-theoretic method is applied to some subvarieties of TDM5. (shrink)

A cut-free Gentzen sequent calculus for Ewald’s intuitionistic tense logic \ is established. By the proof-theoretic method, we prove that, for every set of strictly positive implications S, the classical tense logic \ is embedded into its intuitionistic analogue \ via Kolmogorov, Gödel–Genzten and Kuroda translations respectively. A sufficient and necessary condition for Glivenko type theorem in tense logics is established.