• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.277-294
• /
• 2016

The aim of this paper is to present the classical sets of sequences and related matrix transformations with respect to the b-metric. Also, we introduce the relationships between these sets and their classical forms with corresponding properties including convergence and completeness. Further we determine the duals of the new spaces and characterize matrix transformations on them into the sets of b-bounded, b-convergent and b-null sequences.

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.527-543
• /
• 2014

The theory of random variable structures was first studied by Ben Yaacov in [2]. Ben Yaacov's axiomatization of the theory of random variable structures used an early result on the completeness theorem for Lukasiewicz's [0, 1]-valued propositional logic. In this paper, we give an elementary approach to axiomatizing the theory of random variable structures. Only well-known results from probability theory are required here.

• 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.54 no.2
• /
• pp.321-332
• /
• 2014

In this article we introduce different types of multiplier I-convergent double sequence spaces. We study their different algebraic and topological properties like solidity, symmetricity, completeness etc. The decomposition theorem is established and some inclusion results are proved.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.07a
• /
• pp.325-327
• /
• 2013

Although, there are so much information for telecommunication companies to manipulate and handle. there are still many side-effects in the field of completeness while transmitting information among information systems. Especially, works related to End-to-End Reconciliation bring about side-effects. In this research, we establish a proposed model for end-to-end analysis. After an experiment in a business company, we analyze its experimental results.

• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.1-30
• /
• 2006

This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.

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

• Proceedings of the IEEK Conference
• /
• 2001.06b
• /
• pp.325-328
• /
• 2001

This paper describes a VHDL code coverage checker for If design and verification. Applying the verification coverage to IP design is a methodology rapidly gaining popularity. This enables the designers to improve the IP design quality and reduces the time-to-market by providing the Quantitative measure of simulation completeness and test benches. To support this methodology, a VHDL code coverage model was defined and the measurement tool was developed.

• Journal for History of Mathematics
• /
• v.13 no.1
• /
• pp.125-136
• /
• 2000

The notion of MV-algebra was introduced by C.C. Chang in 1958 to provide an algebraic proof of the completeness of Lukasiewicz axioms for infinite valued logic. These algebras appear in the literature under different names: Bricks, Wajsberg algebra, CN-algebra, bounded commutative BCK-algebras, etc. The purpose of this paper is to give a topological lattice completion of semisimple MV-algebras. To this end, we characterize the complete atomic center MV-algebras and semisimple algebras as subalgebras of a cube. Then we define the $\delta$-completion of semisimple MV-algebra and construct the $\delta$-completion. We also study some important properties and extension properties of $\delta$-completion.

• Journal of applied mathematics & informatics
• /
• v.29 no.3_4
• /
• pp.743-752
• /
• 2011

Fixed point theorems for two hybrid pairs of single valued and multivalued noncompatible maps under strict contractive condition are proved, without appeal to continuity of any map involved therein and completeness of underlying space. These results extend, unify and improve the earlier comparable known results.