本論文では、線形論理の変種である節約的論理(parsimonious logic)の文脈で、循環的および非良形式の証明の複雑性理論的側面を調査している。
לשפה אחרת
מתוכן המקור
arxiv.org
תובנות מפתח מזוקקות מ:
by Matteo Accla... ב- arxiv.org 04-05-2024
שאלות מעמיקות
תוכן עניינים
非良形式節約的証明と非一様複雑性
Non-wellfounded parsimonious proofs and non-uniform complexity
非良形式証明システムを用いて、FP/polyクラスを特徴付ける他の方法はあるか?
非良形式証明システムの表現力の限界はどこにあるか?
非良形式証明システムと他の複雑性理論的アプローチとの関係はどのようなものか?
כלים ומשאבים
קבל סיכום מדויק ותובנות מפתח עם מסכם קבצי PDF מבוסס בינה מלאכותית