• Journal of the Korean School Mathematics Society
• /
• v.17 no.4
• /
• pp.805-816
• /
• 2014

In this paper, we survey the development of material implication and we present an analysis of the students' understanding of formal implication. Most of high school students consider material implication $p{\rightarrow}q$ as ${\sim}p{\vee}q$ when they represent the pattern of a collected cards as material implication $p{\rightarrow}q$. But when they collect cards in which material implication $p{\rightarrow}q$ is true, Most of high school students consider $p{\rightarrow}q$ as $p{\wedge}q$.

• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.105-120
• /
• 2004

In this paper, we provide Routley-Meyer semantics for the many-valued logics ${\L}C$ and LC, and give completeness for each of them. This result shows the following two: 1) Routley-Meyer semantics is very powerful in the sense that it can be used as the semantics for several sorts of logics, i.e., many-valued logic, not merely relevance logic and substructural logic. Note that each implication of ${\L}C$ and LC does not (partially) result in "paradoxes of material implication" 2) This implies that Routley-Meyer semantics can be also used not merely for relevance systems but also for other logical systems such as ${\L}C$ and LC, each of which has its own implication by which we can overcome (partially) the problem of "paradoxes of material implication".

• Proceedings of the KIEE Conference
• /
• 1993.07b
• /
• pp.666-669
• /
• 1993

The space charge fields, including intermode apace charge fields in photorefractive material with two impurities are obtained for the small light intensity at large modulation depth, and their implication of high-capacity volume holographic interconnection are presented. In the following data regions the effect of intermode space charge fields are suppresed and the criteria for optimal implementation of volume holographic interconnections are satisfied.

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.85-107
• /
• 2005

Kleene first investigated a three-valued system which follows the evaluations of the Lukasiewicz infinite-valued logic ${\L}C$ with respect to negation, conjunction, and disjunction, and treats $\rightarrow$ as material-like implication in the sense that A $\rightarrow$ B is defined as ${\sim}A{\vee}B$ in its evaluation. Diense and Rescher extended it to many-valued logic and infinite-valued logic, respectively. This paper investigates a variant of the infinite-valued Kleene-Diense logic KD, which we shall call strong Kleene-Diense logic (sKD): sKD has the same evaluations as KD except that sKD takes a variant of Kleene-Diense implication. Following the idea of Dunn [2], we provide algebraic completeness for sKD together with its deduction theorem.

• Journal of the Korean Institute of Traditional Landscape Architecture
• /
• v.29 no.3
• /
• pp.154-158
• /
• 2011

This research was carried out to compare the standard of estimated unit power and material in landscape architecture construction between Korea and Japan. It has also been done to offer a practical and reasonable information to Korea landscape architecture industry. The research results are as follows. First, both Korea and Japan's standard of estimated unit power and material in landscape architecture construction are part of civil construction. Second, Korea's detailed type of construction is centered on plant's type and size while Japan's centered on architectural construction. Third, Korea's standard of estimated unit power and material are composed of workforce construction, mechanical construction and addition of soil. On the other hand, Japan's estimated unit power and material are composed of workforce construction, time of transportation, date of transportation. Fourth, the planting specification of Korea seems to be more in detail than that of Japan, Japan's showing a wider implication. Fifth, when comparing the information regarding standard of estimated unit power and material between Japan and Korea, transportation, independent stalking for plant, soil for landscape architecture is difference between the two countries. On the base of this research results, Korea's standard of estimated unit power and material in planning construction should be more elastic in its implication and independent standard of estimated unit power and material in landscape architecture construction. Also, examination of transportation, independent skating for plant and soil for landscape architecture should be done in order for better improvements.

• Korean Journal of Cognitive Science
• /
• v.17 no.3
• /
• pp.231-253
• /
• 2006

The interaction effects of the cognitive style and the presentation order of learning material was explored in the study. Visualizers performed better when the graphic information was presented prior to the verbal information, whereas verbalizers did better when the verbal information was presented prior to the graphic information. The results of the present research have practical implication of personalized multimedia design based on the learner's cognitive style. The results also have suggested that the cognitive load of a multimedia material can be varied depending on the compatibility of the cognitive style and the material.

• Journal of Environmental Policy
• /
• v.5 no.2
• /
• pp.1-26
• /
• 2006

This paper reveals Material Flow Analysis(MFA) has the possibility of reconciling the two contending theoretical viewpoints(weak sustainability v.s. strong sustainability) and thereby makes the concept of sustainability useful at operational level. For this purpose, this paper shows that the theoretical logic of MFA can be applied from national level to product level (EW-MFA, PIOT/NAMEA, LCI), and investigates the meanings and policy implications of MFA at each level.

• Korean Institute of Interior Design Journal
• /
• v.13 no.4
• /
• pp.83-91
• /
• 2004

This study focuses on defining the new meaning of immateriality in the present times expressed on space. The purposes of this study were to examine the characteristics of immateriality showed in commercial interior design in Korea, based on the definition of immateriality concept and the analysis of the way it is expressed. The result of this study is as follows; it categorized characteristic of material expression, space concept and media. Characteristic elements can be classified into 6: transparency, implication, off-gravitation, ambiguity of boundary, temporality, interactivity. Expression of immateriality in commercial interior space was obtained in many different ways, which are identified: new expression of material by reduction of materiality, leveling of transparency, expression of floating status, changeable image, illusion effect, blurring boundary. Immateriality is deeply associated with the elements such as surface, material, media, light, and movement. So it is being recognized as an important design concept in today's pluralist society and will play an important role within the design paradigms for the future.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2013.05a
• /
• pp.164-165
• /
• 2013

Currently, the process of selecting products such as construction materials and equipment in the design phase proceeds based on the reuse of products used in the previous projects or samples from design companies as well as information on the limited products provided from the website of several manufactures. In particular, it is urgently required to formulate a standard product information management system that can be utilized in the BIM-based design environment these days. In Korea, domestic construction information classification system was developed, but its utilization has been underestimated since continuous studies on the practical usability are still lacking. Therefore, this paper derived problem of domestic construction materials information system by comparing with abroad material information system. Issues and implication is derived in terms of (1) Input information (2) Provide information, and (3) Utilize Information.

• Journal of Korea Trade
• /
• v.23 no.2
• /
• pp.34-45
• /
• 2019

Purpose - This study investigates the lead-lag relations between the prices of major commodities imported into Korea and corresponding shipping freight rates. This paper aims to provide implications for cross-market causal relations between related economic segments. Design/Methodology - For economic long-run equilibrium between commodity prices and freights, a Johansen (1988) cointegration test is employed first. Then, Granger (1987) causality tests are performed under the vector error correction model (VECM) framework. Findings - The results indicate that the direction of causality varies by raw materials, which is attributable to different economic mechanisms in the corresponding shipping transportation sectors. In addition, the significance of causality becomes blurred during the post-2008 period. Practical Implication - Corporate managers in commodity trading, steelmaking, power generation, and oil refinery sectors can take advantage of the findings in this study as identifying leading economic indicators can be helpful for decision making in both short- and long-term strategies. Originality/value - This study is the first attempt to analyze the inter-relations between commodity prices and corresponding freight rates focusing on raw material imports of Korea.