• Korea Trade Review
• /
• v.43 no.3
• /
• pp.101-124
• /
• 2018

After the establishment of the Korean Product Liability Act, a new clause on the burden of proof has been added and is being revised to meet the purpose of consumer protection. Article 3(2) of the new clause stipulates a provision for estimating a causal relationship when proving indirect facts to alleviate burden of proof. While consumer rights are increasing and public attention is drawn to consumer issues, problems are still emerging. In order to solve the problem, the U.S. Product Liability Act, which has strong consumer rights, was examined to describe the direction in which Korea's Product Liability Act should proceed in terms of consumer protection. The results of the comparative analysis show that the US has expanded the concept of strict liability in terms of rigorous liability, consumer dispute resolution, provable possibility, and litigation accessibility, The consumer dispute settlement system has thoroughly protected consumers by operating educational and systemic consumer ADR system. As for the possibility of proving, Korea has three provenances, and the United States has one. In the United States, where consumer lawsuits are frequent, lawsuits are more accessible than those in Korea, where the party responsible for proving is turned into a manufacturer and responsible for proving the case. This study focuses on consumer protection and provides implications for Korean product liability law.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.565-578
• /
• 1999

In this paper some common fixed point theorems for pairs of condensing mappings in a Banach space are proved and applications are given to a pair of nonlinear first order ordinary differential equations in Banach spaces for proving the existence of common solution under suitable conditions.

• Communications of the Korean Mathematical Society
• /
• v.21 no.4
• /
• pp.759-769
• /
• 2006

Let L : $C\;\rightarrow\;C$ be a hyperbolic automorphism. Then the hyperbolic toral automorphism $L_A\;T^2\;\rightarrow\;T^2$, induced by L, is a chaotic map ([2] pg.192). We characterize hyperbolic toral automorphisms by proving the converse of the above statement.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.315-330
• /
• 2007

In this paper, some hybrid fixed point theorems are proved which are further applied to first and second order neutral functional differential equations for proving the existence results for the extremal solutions under the mixed Lipschitz, compactness and monotonic conditions.

• Kyungpook Mathematical Journal
• /
• v.50 no.1
• /
• pp.165-175
• /
• 2010

In the paper we consider deemed three mock theta functions introduced by Hikami. We have given their alternative expressions in double summation analogous to Hecke type expansion. In proving we also give a new Bailey pair relative to $a^2$. I presume they will be helpful in getting fundamental transformations.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.253-261
• /
• 2012

This work aims at proving the FKG inequalities for the analogue of Wiener functionals with special orders on the analogue of Wiener space.

• East Asian mathematical journal
• /
• v.24 no.5
• /
• pp.465-476
• /
• 2008

Even though Godel's theorem is remarkable to mathematics teachers, it is not simple to understand the proof in detail. It would be useful for us to understand the basic ideas and the proving process of the proof. In this note, we suggest a proposal for the purpose.

• East Asian mathematical journal
• /
• v.24 no.5
• /
• pp.497-507
• /
• 2008

Two proving methods are investigated. One method uses we mathematical induction and the other uses the progression of difference. Two methods are analysed and compared. As a result, we get a generalization of these series.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.06a
• /
• pp.51-52
• /
• 2007

• Bulletin of the Korean Mathematical Society
• /
• v.8 no.1
• /
• pp.9-15
• /
• 1971

The purpose of this note is to use primitive recursive functions and predicates similar to those presented by Davis [2] to show the well-known result first proved by Godel in [3] that the well-formed formulas of a pure functional calculus form a recursive set. The technique shown in this paper immediately suggests a unique approach to Theorem proving using a computer.