Linnk AI 다운로드
•
리서치 어시스턴트
>
로그인
통찰
-
LinearLogicArithmeticFormalization
ペアノ算術と線形論理に基づく算術の形式化:μMALL
本稿では、線形論理に基づく算術の形式体系であるμMALLを紹介し、その証明能力と計算可能性について論じる。特に、アッカーマン関数のような帰納的関数の全域性を証明できることがμMALLの特徴である。
1