Linnk AIをダウンロード
•
AIリサーチアシスタント
>
サインイン
インサイト
-
直観主義線形論理のスコーレム化
直観主義線形論理のためのスコーレム化
本論文では、焦点化された直観主義線形論理(LJF)のための新しいスコーレム化手順を提案し、その手順が正しく完全であることを示す。これにより、量化子の順序を解決する際のバックトラックが排除される。
1