• 논리연구
• /
• 제14권2호
• /
• pp.39-76
• /
• 2011

마틴뢰프의 직관주의적 유형론의 중요 사항들을 설명하고, 그 체계의 가장 중요한 특성 중의 하나인 명제와 판단의 구분에 관해 검토한다. 1절에서 문제를 도입한 후, 2절에서 직관주의적 유형론의 명제개념은 직관주의적 명제개념의 발전된 형태임을 보이고, 3절에서는 직관주의적 유형론에서 가장 기본적인 판단개념을 설명한 후, 4절에서 직관주의적 유형론의 기본적인 추론규칙들을 설명하고 그 적용의 한 사례를 검토할 것이다. 마지막으로 5절에서, 직관주의적 유형론에서 명제와 판단의 구분이 차지하는 중요성을 부연한 후, 기초론적 체계에서 명제와 판단의 구분이 필수적인지의 문제와 관련하여, 통상적인 프레게적 구분으로부터 시작하여 직관주의적 유형론에서와 같은 구분에 이르기 위해서는 어떤 것들이 전제되거나 정당화되어야 하는지 검토할 것이다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제14권3호
• /
• pp.181-187
• /
• 2014

Dealing with uncertainty is always a challenging problem. Intuitionistic fuzzy sets was presented to manage situations in which experts have some membership and non-membership value to assess an alternative. Hesitant fuzzy sets was used to handle such situations in which experts hesitate between several possible membership values to assess an alternative. In this paper, the concept of intuitionistic hesitant fuzzy set is introduced to provide computational basis to manage the situations in which experts assess an alternative in possible membership values and non-membership values. Distance measure is defined between any two intuitionistic hesitant fuzzy elements. Fuzzy technique for order preference by similarity to ideal solution is developed for intuitionistic hesitant fuzzy set to solve multi-criteria decision making problem in group decision environment. An example is given to illustrate this technique.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제8권3호
• /
• pp.207-219
• /
• 2008

We give some properties of intuitionistc fuzzy left, right, and two-sided ideals and bi-ideals of a semigroup. And we characterize a regular semigroup, a semigroup that is a lattice of left(right) simple semigroups, a semigroup that is a semilattice of left(right) groups and a semigroup that is a semilattice of groups in terms of intuitionistic fuzzy ideals and intuitionistic fuzzy bi-ideals.

• 논리연구
• /
• 제16권3호
• /
• pp.407-436
• /
• 2013

이 글의 목표는 직관주의적 유형론에서의 진리개념이 어떻게 이해될 수 있는지를 검토하고, 이에 의거하여 직관주의적이면서 객관적인 진리개념을 확보하는 문제에 있어서 프라위츠의 논증보다 진전된 논증을 제시하는 것이다. 이를 위해, 직관주의적 유형론에서의 명제, 유형 및 판단의 구분을 프레게의 판단이론과 비교하며 간략히 설명한 후, 직관주의적 유형론에서의 진리판단을 분석하고, 이에 의거해 증명의 존재의 확정성이 어떻게 이해될 수 있는지 밝힐 것이다. 또한 직관주의적 유형론에서 진리판단으로서의 존재판단이 어떻게 이해되어야 하는지, 특히 왜 그것이 존재양화명제가 될 수 없는지 그 이유를 밝히고, 존재판단을 생략적 판단으로 해석하는 한 견해를 비판할 것이다. 직관주의적 유형론에서의 진리개념에 관한 이 글에서의 분석은 증명의 존재의 확정성 문제와 증명의 존재의 비명제적 성격을 분명히 한 점에서 직관주의적이고 객관적인 진리개념에 대한 프라위츠의 규정보다 진전된 형태의 설명임을 밝히고, 이런 진리개념에 대한 주관적 진리개념의 옹호자들의 한 비판에 답할 것이다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제5권1호
• /
• pp.40-45
• /
• 2005

The concept of a intuitionistic fuzzy topology (IFT) was introduced by Coker 1997. The concept of a fuzzy retract was introduced by Rodabaugh in 1981. The aim of this paper is to introduce a new concepts of fuzzy continuity and fuzzy retracts in an intuitionistic fuzzy topological spaces and establish some of their properties. Also, the relations between these new concepts are discussed.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제14권1호
• /
• pp.66-72
• /
• 2014

In this paper, we establish common fixed point theorem for type(${\beta}$) compatible four mappings with implicit relations defined on an intuitionistic fuzzy metric space. Also, we present the example of common fixed point satisfying the conditions of main theorem in an intuitionistic fuzzy metric space.

• 호남수학학술지
• /
• 제37권3호
• /
• pp.269-279
• /
• 2015

Atanassov introduced another fuzzy object, called intu- itionistic fuzzy set as a generalization of the concept of fuzzy subset. The aim of this paper is the elaboration of a representation theory of involutive interval-valued Łukasiewicz-Moisil algebras by using the notion of intuitionistic fuzzy sets.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제11권2호
• /
• pp.108-112
• /
• 2011

Kaneko et a1.[4] etc many authors extended with multi-valued maps for the notion of compatible maps in complete metric space. Recently, O'Regan et a1.[5] presented fixed point and homotopy results for compatible single-valued maps on complete metric spaces. In this paper, we will establish some common fixed point theorems using compatible maps in intuitionistic fuzzy metric space.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제11권3호
• /
• pp.149-152
• /
• 2011

In this paper, we obtain common fixed point theorem for common property(E.A.) and weakly compatible functions in intuitionistic fuzzy metric space.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제10권4호
• /
• pp.287-295
• /
• 2010

Based on the interval-valued intuitionistic fuzzy hybrid geometric (IIFHG) operator and the interval-valued intuitionistic fuzzy weighted geometric (IIFWG) operator, we investigate the group decision making problems in which all the information provided by the decision-makers is presented as interval-valued in tuitionistic fuzzy decision matrices where each of the elements is characterized by interval-valued intuitionistic fuzzy numbers, and the information about attribute weights is partially known. Anumerical example is used to illustrate the applicability of the proposed approach.