• 한국지능시스템학회논문지
• /
• 제17권1호
• /
• pp.143-147
• /
• 2007

With a new ordinary norm as an analogy of Krishna and Sarma[5] and Bag and Samanta[1], we will characterize the notions of the convergence of the sequences of fuzzy points, the fuzzy, ${\alpha}$-Cauchy sequence and fuzzy completeness.

• 충청수학회지
• /
• 제23권2호
• /
• pp.391-399
• /
• 2010

In this paper, we introduce the notions of the fuzzy statistical convergence of sequences, the fuzzy statistical Cauchy sequence on a fuzzy normed linear space. And we investigate some properties of the related completeness.

• 충청수학회지
• /
• 제22권2호
• /
• pp.281-286
• /
• 2009

In this paper, we introduce the notion of the complete fuzzy norm on a linear space. And we consider some relations between the fuzzy completeness and ordinary completeness on a linear space.

• 충청수학회지
• /
• 제22권3호
• /
• pp.597-606
• /
• 2009

In this paper, we introduce the notion of the statistically complete fuzzy norm on a linear space. And we consider some relations between the fuzzy statistical completeness and ordinary completeness on a linear space.

• 한국논리학회:학술대회논문집
• /
• 한국논리학회 2009년도 동계학술 발표회
• /
• pp.38-66
• /
• 2009

Weakening-free non-associative fuzzy logics, which are based on mica-norms, are introduced as non-associative substructural logics extending $GL_{e\bot}$ (Non-associative Full Lambek calculus with exchange and constants T, F) introduced by Galatos and Ono (cf. see [10, 11]). First, the mica-norm logic MICAL, which is intended to cope with the tautologies of left-continuous conjunctive mica-norms and their residua, and several axiomatic extensions of it are introduced as weakening-free non-associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness (i,e. completeness with respect to algebras whose lattice reduct is the real unit interval [0, 1]) is established for these logics by using Jenei and Montagna-style approach for proving standard completeness in [7, 18].

• 한국지능시스템학회논문지
• /
• 제15권5호
• /
• pp.639-642
• /
• 2005

In this paper, we introduce the notions of the convergence in the sense of ${\alpha}$-level and the fuzzy completeness on a fuzzy normed linear space. And we investigate related properties.

• 논리연구
• /
• 제10권2호
• /
• pp.125-146
• /
• 2007

This paper investigates the relevance system R-mingle (RM) as a a fuzzy-relevance logic. It shows that RM is fuzzy in Cintula's sense, i.e., RM is complete with respect to linearly ordered L-matrices (or L-algebras). More exactly, we first introduce RM and its weak versions wwRM and wRM. We next provide algebraic and matrix completeness results for them.

• 논리연구
• /
• 제19권3호
• /
• pp.437-461
• /
• 2016

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 약화 없는 퍼지 논리를 연구한다. 이를 위하여 먼저 wta-유니놈에 기반 한 체계 $WA_tMUL$과 이의 두 공리적 확장 체계들을 약화 없는 약한 결합 원리를 갖는 퍼지 논리로 소개한다. 그리고 각 체계에 상응하는 대수적 구조를 정의한 후, 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 제네이-몬테그나 스타일의 구성방식을 사용하여 체계 $WA_tMUL$과 추가적 공리를 갖는 두 확장 체계들이 표준적으로 완전하다는 것을 보인다.

• Korean Journal of Mathematics
• /
• 제4권2호
• /
• pp.117-124
• /
• 1996

In this paper we define a new fuzzy metric $\tilde{\theta}$ of fuzzy number sequences, and prove that the space of convergent sequences of fuzzy numbers is a fuzzy complete metric space in the fuzzy metric $\tilde{\theta}$.

• 논리연구
• /
• 제13권1호
• /
• pp.1-20
• /
• 2010

이 논문에서 우리는 멧칼페와 몬테그나에 의해 [15]에서 소개된 uninorm에 바탕을 두고 있는 논리 UL을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성의 새로운 증명을 연구한다. 즉 [8, 9]에서 소개된 nuclear completion을 사용하여 UL이 표준적으로 완전하다는 것을 보인다.