本論文では、線形論理の変種である節約的論理(parsimonious logic)の文脈で、循環的および非良形式の証明の複雑性理論的側面を調査している。
إلى لغة أخرى
من محتوى المصدر
arxiv.org
الرؤى الأساسية المستخلصة من
by Matteo Accla... في arxiv.org 04-05-2024
استفسارات أعمق
جدول المحتويات
非良形式節約的証明と非一様複雑性
Non-wellfounded parsimonious proofs and non-uniform complexity
非良形式証明システムを用いて、FP/polyクラスを特徴付ける他の方法はあるか?
非良形式証明システムの表現力の限界はどこにあるか?
非良形式証明システムと他の複雑性理論的アプローチとの関係はどのようなものか?
الأدوات والموارد
احصل على ملخص دقيق ورؤى رئيسية مع مُلخص PDF بالذكاء الاصطناعي