초직관 논리From Wikipedia, the free encyclopedia 논리학에서 초직관 논리(超直觀論理, 영어: superintuitionistic logic) 또는 중간 논리(中間論理, 영어: intermediate logic)는 직관 논리보다는 더 강하지만, 고전 논리보다 더 약한 논리 체계이다.
논리학에서 초직관 논리(超直觀論理, 영어: superintuitionistic logic) 또는 중간 논리(中間論理, 영어: intermediate logic)는 직관 논리보다는 더 강하지만, 고전 논리보다 더 약한 논리 체계이다.