Download Linnk AI
•
Autonomous Research Assistant
>
Sign In
insight
-
양적 평등
선형 논리에서 리프시츠 교리를 통한 양적 평등
선형 논리에서 양적 평등을 모델링하기 위해 리프시츠 교리를 사용한다. 이를 위해 자원 민감 대체 규칙을 가능하게 하는 등급 변조를 도입한다.
1