本論文では、線形論理の変種である節約的論理(parsimonious logic)の文脈で、循環的および非良形式の証明の複雑性理論的側面を調査している。
Іншою мовою
із вихідного контенту
arxiv.org
Ключові висновки, отримані з
by Matteo Accla... о arxiv.org 04-05-2024
Глибші Запити
Зміст
非良形式節約的証明と非一様複雑性
Non-wellfounded parsimonious proofs and non-uniform complexity
非良形式証明システムを用いて、FP/polyクラスを特徴付ける他の方法はあるか?
非良形式証明システムの表現力の限界はどこにあるか?
非良形式証明システムと他の複雑性理論的アプローチとの関係はどのようなものか?
Інструменти та ресурси
Отримайте точний короткий виклад та ключові висновки за допомогою AI PDF Summarizer