命题动态逻辑的非标示循环证明系统中切割消去的学习

这项研究探讨了形式逻辑的一个特定理论方面，这对于证明系统的可靠性和完备性至关重要。 专注于命题动态逻辑的循环证明系统中的切割消去，是对自动推理的重要贡献。

• •侧重于切割消去，这是证明理论中的一个关键概念。
• •研究循环证明系统，这可能更有效率。
• •这项研究有助于自动推理和逻辑编程。