본 연구는 곱셈 단위 I, 곱셈 연결 ⊗, 덧셈 연결 ∧ 및 ∨을 포함하는 비가환 선형 논리의 단편을 다룹니다. 저자들은 절단 없는 순차 계산과 유도 관계 ⊜를 통해 이 논리의 증명 이론을 설명합니다. 또한 좌측 분배 조건을 만족하는 이진 곱과 여집합을 가진 스큐 모노이드 범주의 범주론적 의미론을 제시합니다.
