논문KCI 등재
자름규칙(cut)-제거 연역의 증명 길이에 대하여 자름규칙-제거 연역의 증명 길이에 대하여
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류철학
초록
본 논문은 겐첸의 정식열(sequent) 계산에서 자름규칙(cut)을 제거한 경우 증명의 길이는 어떻게 달라지는가를 다루고 있다. 특히, 본 논문은 명제 논리에 있어서 공리를 원자 정식으로만 삼는 체계의 경우, 증명의 길이는 변화가 없음을 증명하는 것을 목적으로 한다.
관련 논문AI추천
순차식 연산 (Sequent calculus) 과 절단제거 (Cut elimination)정계섭한국수학사학회 · 한국수학사학회지2010 · 제23권 제3호The Normalization Theorem for the First-Order Classical Natural Deduction with Disjunctive Syllogism최승락한국논리학회 · 논리연구2021 · 제24권 제2호연관 r elevant 논리와 다치논리의 관계 연구: BNc1 과 LLC+의 구문론적 관계 연구양은석한국논리학회 · 논리연구2002 · 제5권 제1호“자체적으로 정당한 규칙과 논리상항의 의미”정인교한국논리학회 · 논리연구2003 · 제6권 제2호The Identity of Proofs and the Criterion for Admissible Reductions최승락한국논리학회 · 논리연구2021 · 제24권 제3호전형식적 증명의 교수학적 의미에 관한 고찰권석일, 홍진곤한국수학교육학회 · 수학교육2004 · 제43권 제4호