Linnk AI'yı İndirin
•
Araştırma Asistanı
>
Giriş Yap
içgörü
-
直観主義線形論理のスコーレム化
直観主義線形論理のためのスコーレム化
本論文では、焦点化された直観主義線形論理(LJF)のための新しいスコーレム化手順を提案し、その手順が正しく完全であることを示す。これにより、量化子の順序を解決する際のバックトラックが排除される。
1