로그인시 인증 절차없이 논문 구매가 가능하며, 구매내역 확인 및 논문 재다운로드가 가능합니다.
비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.본인 인증 후 구매내역을 확인하실 수 있습니다.
본 논문은 겐첸의 정식열(sequent) 계산에서 자름규칙(cut)을 제거한 경우 증명의 길이는 어떻게 달라지는가를 다루고 있다. 특히 본 논문은 명제 논리에 있어서 공리를 원자 정식으로만 삼는 체계의 경우 증명의 길이는 번화가 없음을 증명하는 것을 목적으로 한다.
증명 이론증명 길이의 한계
