선형 논리에서 리프시츠 교리를 통한 양적 평등

선형 논리에서 양적 평등을 모델링하기 위해 리프시츠 교리를 사용한다. 이를 위해 자원 민감 대체 규칙을 가능하게 하는 등급 변조를 도입한다.