Search | Korea Science

Kim, Beom-In
- Korean Journal of Logic
- /
- v.10 no.2
- /
- pp.109-123
- /
- 2007
본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.
PDF

박재호;박부규;김민자;박성규;이철희;김진한
- Korean Journal of Plant Resources
- /
- v.12 no.2
- /
- pp.120-124
- /
- 1999
This experiment was carried out to get basic information on growth characteristics in the cultivation of Saururus Chinensis Baill. The results obtained were summarized as the follows. Growth of shoot was highest at 165 days after planting, percentage of dry matter and leaf area index(LAI) were highest 29% and 4.04 at 165 days after planting. Growth of root tuber was increased until 165 days after planting, after diminished. Dry matter weight of root tuber was highest of 961g/m$^2$ at 180 days after planting and percentage of dry matter was highest of 26% at 150 days after planting, after was stabilized. CGR, RGR, and NAR were higher at 150 days afterplanting. After 165 days after planting, increment of CGR and RGR diminished and NAR decreased.
PDF