Linnk AI 다운로드
•
리서치 어시스턴트
>
로그인
통찰
-
高階論理におけるKuroda変換
高階論理におけるKuroda変換の研究
Kuroda変換は古典論理の式を直接的に直観主義論理の式に変換することができ、その変換された式は古典論理で等価である。
1