통합검색

전제를 한 번 쓰고 버려야 하는 논리도 있을까?

선형논리는 전제를 무한히 복제하거나 버릴 수 있다는 구조 규칙을 제한해, 명제를 소비되는 자원처럼 추적합니다.

Linear Logic

한 번 쓴 전제를 마음대로 다시 써도 될까?

재사용 가능한 교환 규칙과 세 장의 일회성 쿠폰이 세 잔의 음료로 연결되고 남은 자원을 기록한 장부 도식.

전제를 한 번 쓰고 버려야 하는 논리도 있을까?

선형논리, 자원, 수축·약화의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.