• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.273-292
• /
• 2017

In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics $P_nIMICAL$ and $FP_nIMICAL$ are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for $FP_nIMICAL$ using construction in the style of Jenei-Montagna.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.4 no.2
• /
• pp.9-12
• /
• 1994

Let X, Y be normed linear spaces, and let p$_{1}$, p.sub 2/ be lower semi-continuous fuzzy norms on X, Y respectively, and have the bounded supports on X, Y respectively. In this paper, we prove that if Y is conplete, the set of all fuzzy continuous linear maps from X into Y is a fuzzy complete fuzzy normed linear space.

• Korean Journal of Logic
• /
• v.12 no.1
• /
• pp.89-110
• /
• 2009

This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.

• Communications of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.237-251
• /
• 2011

In this paper, we determine some stability results concerning the 2-dimensional vector variable quadratic functional equation f(x+y, z+w) + f(x-y, z-w) = 2f(x, z) + 2f(y, w) in intuitionistic fuzzy normed spaces (IFNS). We dene the intuitionistic fuzzy continuity of the 2-dimensional vector variable quadratic mappings and prove that the existence of a solution for any approximately 2-dimensional vector variable quadratic mapping implies the completeness of IFNS.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.28-31
• /
• 2003

In the present work, a main purpose is to propose a fuzzy integral-based aggregation framework to complementarily combine partial information due to lack of completeness. Based on Choquet integral (CI) viewed as monotone expectation, we take into account complementary, non-interactive, and substitutive aggregations of different sources of defective information. A CI-based system representing upper, conventional, and lower expectations is designed far handling three aggregation attitudes towards uncertain information. In particular, based on Choquet integrals for belief measure, probability measure, and plausibility measure, CI$\_$bi/-, CI$\_$pr/ and CI$\_$pl/-aggregator are constructed, respectively. To illustrate a validity of proposed aggregation framework, multiple matching systems are developed by combining three simple individual template-matching systems and tested under various image variations. Finally, compared to individual matchers as well as other traditional multiple matchers in terms of an accuracy rate, it is shown that a proposed CI-aggregator system, {CI$\_$bl/-aggregator, CI$\_$pl/-aggregator, Cl$\_$pl/-aggregator}, is likely to offer a potential framework for either enhancing completeness or for resolving conflict or for reducing uncertainty of partial information.

• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.371-381
• /
• 2004

In this paper, fuzzy metric spaces are redefined, different from the previous ones in the way that fuzzy scalars instead of fuzzy numbers or real numbers are used to define fuzzy metric. It is proved that every ordinary metric space can induce a fuzzy metric space that is complete whenever the original one does. We also prove that the fuzzy topology induced by fuzzy metric spaces defined in this paper is consistent with the given one. The results provide some foundations for the research on fuzzy optimization and pattern recognition.

• Kyungpook Mathematical Journal
• /
• v.51 no.3
• /
• pp.345-352
• /
• 2011

In this article we introduce the fuzzy real valued double sequence spaces $_2{\ell}^F$ (p) where p = ($p_{nk}$) is a double sequence of bounded strictly positive numbers. We study their different properties like completeness, solidness, symmetricity, convergence free etc. We prove some inclusion results also.

• Kyungpook Mathematical Journal
• /
• v.52 no.2
• /
• pp.189-200
• /
• 2012

In this article we introduce the class of I-convergent double sequences of fuzzy real numbers. We have studied different properties like solidness, symmetricity, monotone, sequence algebra etc. We prove that the class of I-convergent double sequences of fuzzy real numbers is a complete metric spaces.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.8
• /
• pp.201-210
• /
• 1994

We proposed so-called AFHR (adaptable fuzzy hyper-resolution principle) that can manipulate uncertain knowledge and tune the range of resolution. The AFHR can make a rangable resolution to execute an efficient resolution and can represent linguistic truth values. In this paper, we introduce new concepts of law of contrary, meaningless range level for truth values and strict degree of adaptable resolution. We show that the differences of AFHR and existing fuzzy resolution. Finally we prove completeness of AFHR.

• Kyungpook Mathematical Journal
• /
• v.53 no.3
• /
• pp.319-332
• /
• 2013

The sequence space $m(M,{\phi})^F$ of fuzzy real numbers is introduced. Some properties of this sequence space like solidness, symmetricity, convergence-free etc. are studied. We obtain some inclusion relations involving this sequence space.