Linnk AI 다운로드
•
리서치 어시스턴트
>
로그인
통찰
-
直観主義線形論理のスコーレム化
直観主義線形論理のためのスコーレム化
本論文では、焦点化された直観主義線形論理(LJF)のための新しいスコーレム化手順を提案し、その手順が正しく完全であることを示す。これにより、量化子の順序を解決する際のバックトラックが排除される。
1