• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제6권3호
• /
• pp.240-246
• /
• 2006

We introduce the concept of level subgroups of an intuitionistic fuzzy subgroup and study some of it's properties. These level subgroups in turn play an important role in the characterization of all intuitionistic fuzzy subgroup of a prime cyclic group.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제15권3호
• /
• pp.208-215
• /
• 2015

Since upper and lower approximations could be induced from the rough set structures, rough sets are considered as approximations. The concept of fuzzy rough sets was proposed by replacing crisp binary relations with fuzzy relations by Dubois and Prade. In this paper, we introduce and investigate some properties of intuitionistic fuzzy rough approximation operators and intuitionistic fuzzy relations by means of topology.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제8권4호
• /
• pp.276-283
• /
• 2008

We investigate the images and preimages of intuitionistic fuzzy G-equivalence relations and G-congruences under product mappings.

• 논리연구
• /
• 제14권3호
• /
• pp.101-137
• /
• 2011

마틴뢰프는 그의 직관주의적 유형론에서의 판단형식들에 관한 분석에 의거하여, 통상적인 논리법칙들과 수학의 흥미로운 판단들은 분석판단이 아닌 종합판단에 해당하며, 분석판단의 논리는 결정가능하고 완전하지만 종합판단의 논리는 결정가능하지 않으며 불완전하다고 주장한다. 이 글의 목적은 마틴뢰프의 논지를 보다 분명히 하여 검토하려는 것이다. 1절에서 필자가 이해한 단형 유형론의 기본 사항들을 검토한 후, 2절에서는 마틴뢰프의 분석/종합 구분을 보다 분명히 드러내고, 마틴뢰프의 구분에 대한 가능한 비판 및 '통상적인 논리법칙들과 수학의 흥미로운 판단들은 종합판단에 해당한다'는 논제를 검토한다. 3절에서는 '분석판단의 논리는 결정가능하고 완전하지만 종합판단의 논리는 결정가능하지 않으며 불완전하다'는 논제를 보다 분명히 드러내어 검토한다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제11권1호
• /
• pp.38-43
• /
• 2011

In this paper, we give definitions of compatible mappings of type(${\gamma}$) in intuitionistic fuzzy metric space and obtain common fixed point theorem under the conditions of weak compatible mappings of type(${\gamma}$) in complete intuitionistic fuzzy metric space. Our research generalize, extend and improve the results given by Sedghi et.al.[12].

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제13권2호
• /
• pp.147-153
• /
• 2013

Previously, Park et al. (2005) defined an intuitionistic fuzzy metric space and studied several fixed-point theories in this space. This paper provides definitions and describe the properties of type(${\beta}$) compatible mappings, and prove some common fixed points for four self-mappings that are compatible with type(${\beta}$) in an intuitionistic fuzzy metric space. This paper also presents an example of a common fixed point that satisfies the conditions of Theorem 4.1 in an intuitionistic fuzzy metric space.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제10권3호
• /
• pp.194-199
• /
• 2010

In this paper, we give definitions of compatible mappings of type(I) and (II) in intuitionistic fuzzy metric space and obtain common fixed point theorem and example under the conditions of compatible mappings of type(I) and (II) in complete intuitionistic fuzzy metric space. Our research generalize, extend and improve the results given by many authors.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제3권1호
• /
• pp.72-77
• /
• 2003

In this paper, we introduce the concepts of intuitionistic fuzzy products and intuitionistic fuzzy subgroupoids. We investigate some properties of products and subgroupoids

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제8권4호
• /
• pp.299-305
• /
• 2008

The object of this paper is to introduce the notion of compatible mapping of type(${\alpha}$) in intuitionistic fuzzy metric space, and to establish common fixed point theorem for five mappings in intuitionistic fuzzy metric space. Our research are an extension for the results of [1] and [7].

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제7권3호
• /
• pp.159-164
• /
• 2007

Park, Park and Kwun[6] is defined the intuitionistic fuzzy metric space in which it is a little revised from Park[5]. According to this paper, Park, Kwun and Park[11] Park and Kwun[10], Park, Park and Kwun[7] are established some fixed point theorems in the intuitionistic fuzzy metric space. Furthermore, Park, Park and Kwun[6] obtained common fixed point theorem in the intuitionistic fuzzy metric space, and also, Park, Park and Kwun[8] proved common fixed points of maps on intuitionistic fuzzy metric spaces. We prove a fixed point for pair of maps with another method from Park, Park and Kwun[7] in intuitionistic fuzzy metric space defined by Park, Park and Kwun[6]. Our research are an extension of Vijayaraju and Marudai's result[14] and generalization of Park, Park and Kwun[7], Park and Kwun[10].