통합검색

전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?

부분구조논리는 교환·축약·약화 같은 구조 규칙을 선택적으로 제한해, 전제의 순서·수량·관련성이 추론에 미치는 영향을 드러냅니다.

Substructural Logics

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

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

Linear Logic

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

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

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

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