• Journal of Korean Library and Information Science Society
• /
• v.23
• /
• pp.439-469
• /
• 1995

The purpose of this study is to develop a new domestic (national) law classification scheme with universality. An underlying reason for the development of this scheme reset upon the fact that Civil law system, Common law system, Socialistic law system have had difficulties each other and that current classification scheme covering three law systems have not been still in existence. From the comparative discussion of classification schemes that are the representative of each law system, a new national law classification scheme with universality was designed. If law classification scheme have been completeness, this new scheme must be combined with jurisprudence and international law classification scheme which was developed already.

• Communications of the Korean Mathematical Society
• /
• v.17 no.3
• /
• pp.431-437
• /
• 2002

Representing a positive integer in terms of a sum of smaller numbers with certain conditions has been studied since MacMahon [5] pioneered perfect partitions. The complete partitions is in this category and studied by the second author[6]. In this paper, we study complete partitions with more specified completeness, which we call the double-complete partitions.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1839-1854
• /
• 2015

Brief developments in metrical fixed point theory are covered and a significant generalization of recent results obtained in [18], [27], [32] and [33] is established through an extension of the property (EA) to two sequences of self-maps using the notions of weak compatibility and implicit relation.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.127-131
• /
• 2020

We discuss two unrelated topics regarding Cops and Robbers, a well-known pursuit-evasion game played on a simple graph. First, we address a recent question of Breen et al. and prove the PSPACE-completeness of the cop throttling number, that is, the minimal possible sum of the number k of cops and the number capt(k) of moves that the robber can survive against k cops under the optimal play of both sides. Secondly, we revisit a teleporting version of the game due to Wagner; we disprove one of his conjectures and suggest a new related research problem.

• 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 Internet Computing and Services
• /
• v.3 no.1
• /
• pp.51-59
• /
• 2002

The conventional procedure to verify rule bases are corresponding to the propositional logic-level knowledge representation. Building knowledge bases, in real applications, we utilize the predicate logic-level rules. In this paper, we present a verification algorithm of rule bases using Pr/T nets which represent the predicate logic-level rules naturally.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.2
• /
• pp.268-271
• /
• 2008

In this paper, we introduce the notions of a fuzzy convergence of sequences, fuzzy Cauchy sequence and the related fuzzy completeness on a fuzzy normed linear space. And we investigate some properties relative to fuzzy normed linear spaces. In particular, we prove an equivalent conditions that a fuzzy norm defined on a ordinary normed linear space is fuzzy complete.

• 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.

• 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.