In this work, an intuitionistic propositional logic with a Galois connection is introduced. In addition to the intuitionistic logic axioms and inference rule of modus ponens, the logic contains only two rules of inference mimicking the performance of Galois connections. Both Kripke-style and algebraic semantics are presented for IntGC, and IntGC is proved to be complete with respect to both of these semantics. We show that IntGC has the finite model property and is decidable, but Glivenko's Theorem does not hold. (...) Duality between algebraic and Kripke semantics is presented, and a representation theorem for Heyting algebras with Galois connections is proved. In addition, an application to rough L-valued sets is presented. (shrink)

In [1], D. W. Hart and C. Mcginn considered two logics Al and A2. These logics embody part of a tradition about a priori knowledge and necessity. They proved that A2 is a conservative extension of a well-known modal logic S5 but left the problem whether Al is a conservative extension of S4 open. In this note, we shall show that Al is not a conservative extension of S4 but of S5, and also correct an inadequate proof.

Almost no literature exists, both in Japanese and English, when it comes to the CSR activities of Japanese MNEs operating outside Japan, especially in developing countries. This exploratory research will try to fill this gap of literature by examining CSR activities of Japanese MNEs in one of the developing Asian countries, the Philippines.

The purpose of this paper is to introduce corporate social responsibility case, a micro-finance program, conducted at Mindanao, Philippines, by a local Filipinocompany. The paper is a description of the Islamic micro-finance program and challenges in the area affected by conflicts.

This paper investigates one aspect of corporate social responsibility, incorporating diversity, especially the employment of people with disabilities in Japan. Where literature on incorporating diversity through the inclusion of minorities in Japan is concerned, a reasonable number exists that focus on gender and women managers. In contrast, very scant literature (in English) exists on the employment of people with disabilities in Japan. This paper will try to fill the gap.

Our paper explores several factors related to the relatively small percentage of women managers in organizations in Japan (especially in comparison to otherindustrialized nations) and examines the strategies of several major corporations that have incorporated diversity management into their corporate social responsibility programs to address problems of gender equity.

In this paper we give an axiom system of a logic which we call an approximation logic (AL), whose Lindenbaum-Tarski algebra is a strong Bunge algebra (or simply s-Bunge algebra), and show thatFor every s-Bunge algebra , a quotient algebra by a maximal filter is isomorphic to the simplest nontrivial s-Bunge algebra ;The Lindenbaum algebra of AL is an s-Bunge algebra;AL is complete;AL is decidable.

In this paper we shall first show that for every weak DeMorgan algebra $L$ of order $n$ , there is a quotient weak DeMorgan algebra $L{\sim}$ which is embeddable in the finite WDM-$n$ algebra $\Omega $. We then demonstrate that the finite WDM-$n$ algebra $\Omega $ is functionally free for the class $CL$ of WDM-$n$ algebras. That is, we show that any formulas $f$ and $g$ are identically equal in each algebra in $CL$ if and only if they are identically (...) equal in $\Omega $. Finally we establish that there is no weak DeMorgan algebra whose quotient algebra by a maximal filter has exactly seven elements. (shrink)