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

本文通过展示多项式时间归约到更简单的片段，探讨了非经典逻辑（超直觉逻辑和模态逻辑）的计算复杂性。这很重要，因为它允许通过研究更易于管理的子集来分析复杂的逻辑系统。这些发现提供了新的复杂性界限，并深入了解了这些归约的局限性，从而有助于更深入地理解这些逻辑。

• •证明了命题逻辑和谓词逻辑到更简单片段的多项式时间归约。
• •为几种逻辑提供了新的复杂性界限。
• •研究了谓词演算的克里普克不完备性。
• •为准二元谓词提供了丘奇和特拉亨布罗特定理的类似物。