Télécharger Linnk AI
•
Assistant de recherche
>
Connexion
Idée
-
直観主義線形論理のスコーレム化
直観主義線形論理のためのスコーレム化
本論文では、焦点化された直観主義線形論理(LJF)のための新しいスコーレム化手順を提案し、その手順が正しく完全であることを示す。これにより、量化子の順序を解決する際のバックトラックが排除される。
1