Abstract

이 논문은 약한 결합 형식을 갖는 두 준선형 논리와 그것들의 누승적 확장 논리 사이의 동치 관계와 이러한 논리 체계 중 한 논리 체계의 표준 완전성을 다룬다. 좀더 구체적으로 먼저 논리 IWAUBUL을 약한 결합 형태를 갖는 준선형 논리 WAUBUL의 누승적 확장으로 소개하고 이 체계의 대수적 의미론을 다룬다. 특히 우리는 IWAUBUL이 WAUIBUL 체계와 동치라는 것을 보인다. 다음으로 우리는 관련된 약한 결합 힝식을 만족하는 누승적 미카놈을 소개한다. 마지막으로 이 논리를 위한 대수적 조건들에 바탕을 둔 표준 완전성을 다룬다.