通过片段建模非经典逻辑的复杂性

Research Paper#Computational Logic, Complexity Theory🔬 Research|分析: 2026年1月3日 18:43•
发布: 2025年12月29日 14:47
•
1分で読める
•ArXiv

分析

本文通过展示多项式时间归约到更简单的片段，探讨了非经典逻辑（超直觉逻辑和模态逻辑）的计算复杂性。这很重要，因为它允许通过研究更易于管理的子集来分析复杂的逻辑系统。这些发现提供了新的复杂性界限，并深入了解了这些归约的局限性，从而有助于更深入地理解这些逻辑。
引用 / 来源
查看原文
"Propositional logics are usually polynomial-time reducible to their fragments with at most two variables (often to the one-variable or even variable-free fragments)."
A
ArXiv2025年12月29日 14:47
* 根据版权法第32条进行合法引用。
较旧

Quasinormal mode/grey-body factor correspondence for Kerr black holes

较新

Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review

相关分析

Research Paper

SpaceTimePilot：时空控制的生成视频渲染

2026年1月3日 06:10

Research Paper

量子混沌哈密顿量演化下的随机性生成

2026年1月3日 06:10

Research Paper

GaMO：几何感知扩散用于稀疏视角3D重建

2026年1月3日 06:32

来源: ArXiv