• 논리연구
• /
• 제10권2호
• /
• pp.109-123
• /
• 2007

본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.

• 한국자원식물학회지
• /
• 제12권2호
• /
• pp.120-124
• /
• 1999

삼백초의 생육 특성을 구명하여 체계적인 재배기술을 확립하기 위한 기초 자료를 얻고자 실험을 수행한 결과를 요약하면 다음과 같다. 1. 지상부 생육은 정식 후 165일에 최고에 이르렀고, 건물율 및 엽면적지수 (LAI)도 29%와 4.04로 가장 높게 나타났다. 2. 근경의 생육은 정식 후 165일까지 꾸준히 증가 하였고, 이후는 둔화되는 경향 이었다. 3.근경의 건물중은 정식 후 180일에 961g/m$^2$로 가장 높았고, 건물율은 정식 후 150일에 26%에 이르렀으며, 이후는 증가되지 않았다. 4. CGR, RGR및 NAR는 정식 후 150일에 높았고, 정식 165일 이후는 CGR 및 RGR의 증가량이 둔화되었으며, NAR는 감소되었다.

• 전자진흥
• /
• 제10권1호
• /
• pp.9-9
• /
• 1990

• 월간양계
• /
• 제23권12호통권266호
• /
• pp.43-45
• /
• 1991

• 건축사
• /
• 10호통권59호
• /
• pp.38-41
• /
• 1973

• 건축사
• /
• 5호통권433호
• /
• pp.20-27
• /
• 2005

• 전자진흥
• /
• 제13권6호
• /
• pp.18-23
• /
• 1993

• 전자진흥
• /
• 제13권12호
• /
• pp.7-8
• /
• 1993

• 건축사
• /
• 10호통권246호
• /
• pp.90-91
• /
• 1989

• 인재니움
• /
• 제11권1호
• /
• pp.47-53
• /
• 2004