MAV 논리의 일반화된 컷 제거에 대한 의미론적 증명

MAV 논리의 모든 증명은 컷 규칙과 다른 "비분석적" 규칙을 피하는 정규 형태로 축소될 수 있다.