• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.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.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.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.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.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.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.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.05a
• /
• 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].

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.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.

• Korean Journal of Logic
• /
• v.10 no.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.

• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.437-461
• /
• 2016

This paper investigates weakening-free fuzzy logics with three weak forms of associativity (of multiplicative conjunction &). First, the wta-uninorm (based) logic $WA_tMUL$ and its two axiomatic extensions are introduced as weakening-free weakly associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness is established for $WA_tMUL$ and the two axiomatic extensions with an additional axiom using construction in the style of Jenei-Montagna.

• Korean Journal of Mathematics
• /
• v.4 no.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}$.

• Korean Journal of Logic
• /
• v.13 no.1
• /
• pp.1-20
• /
• 2010

This paper investigates a new proof of standard completeness (i.e. completeness on the real unit interval [0, 1]) for the uninorm (based) logic UL introduced by Metcalfe and Montagna in [15]. More exactly, standard completeness is established for UL by using nuclear completions method introduced in [8, 9].