문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 선형논리 (문서 편집) [[분류:논리학]] [include(틀:논리학)] [목차] == 개요 == 선형논리([[線]][[形]][[論]][[理]])는 부분구조논리의 일부로 모든 가설은 한 번만 소비된다는 입장을 취한다. 고전논리와 직관논리에선 가설은 필요에 따라 여러 번 쓸 수 있다. 다만 일반적인 평서문으로는 쉽게 다룰 수 없는 면이 있다. 그래서 논리식을 평서문으로 옮겨적을 때 주의가 요구된다. == 변종 == * 곱셈적 선형논리:곱셈적 결합자와 이들의 항등원만 허용된다. * 곱셈적 법적선형논리:곱셈적선형논리에 법적 연결자만 추가한 것이다. * 곱셈적 지수선형논리:지수적 연결자를 곱셈적선형논리에 추가한 것이다. * 곱셈적 법적지수선형논리:모든 결합자를 담고 있다. * 완전직관선형논리:곱셈적 연결자 일부와 선형함의를 포함한다. == 활용 == * 곱셈적논리곱:순서에 상관없이 교환법칙과 결합법칙이 성립된다. * 가법 논리곱:기회비용으로 택하는 방식을 일컫는다. * 곱셈적 논리합:양쪽을 다 택할 수 있는 논리를 뜻한다. * 가법 논리합:하나만 택하면 랜덤으로 나오는 것을 뜻한다. * 선형함의:상태 변화에 대해서는 정의되고 있는 것. * 지수적 결합자:말 그대로 논리를 결합하는 것저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기