L3 논리에 대한 프레게 시스템의 증명 시뮬레이션 절차 일반화

Lukasiewicz 논리에서 연역 정리가 성립하지 않는 경우에도 프레게 시스템의 증명 시뮬레이션 절차를 일반화할 수 있다.