이 글에서 우리는 연관 명제계산과 무한다치 명제계산 사이의 관계를 살핀다. 구체적으로 우리는 연관 명제계산 BNc1이 무한다치 명제계산LŁC을 포함하는 확장 체계로 간주될 수 있다는 것을 보인다. 즉 LŁC에 직관주의 명제논리에 사용된 부정을 첨가한 후, BNc1이 이 체계 LŁC+로 번역될 수 있다는 것을 보인다.
이 글에서 우리는 연관 명제계산과 무한다치 명제계산 사이의 관계를 살핀다.