선형 논리의 계산
Computation of Linear Logic
- 저자
- 변석우, 신동하 / 병렬프로그래밍연구실
- 권호
- 11권 3호 (통권 41)
- 논문구분
- 일반 논문
- 페이지
- 71-0
- 발행일자
- 1996.09.15
- DOI
- 10.22648/ETRI.1996.J.110307
- 초록
- Girard에 의해서 1987년에 처음 소개된 선형 논리(linear logic)는 컴퓨터 사이언스에 큰 관심을 불러 일으키며 빠르게 발전하고 있다. 선형 논리는 상태 및 자원을 논리적 수준에서 다루고 있는 특징이 있다. 본 고에서는 선형 논리의 의미, 동기 및 특성을 소개하며, Gentzen의 시퀀트 계산법과 Prawitz의 자연 연역법 사이의 연관성 및 여러 증명 사이의 '같음'에 대한 개념을 컷제거 정리 측면에서 논의하고, 이러한 개념에 의하여 선형 논리의 증명이 증명망으로서 표현될 수 있음을 보인다.
938 Downloaded
964 Viewed
Share
- Sign Up
- 전자통신동향분석 이메일 전자저널 구독을 원하시는 경우 정확한 이메일 주소를 입력하시기 바랍니다.