약한 결합 원리를 만족하는 준선형 논리와 크립키식 의미론 Weak associative semilinear logics and Kripke-style…