命題動的論理における循環証明系でのカット除去の研究

本研究は、証明系の健全性と完全性に不可欠な形式論理の特定の理論的側面を探求しています。 命題動的論理の循環証明系におけるカット除去に焦点を当てることは、自動推論への重要な貢献です。

• •証明理論における重要な概念であるカット除去に焦点を当てています。
• •より効率的な循環証明系を調査しています。
• •この研究は、自動推論と論理プログラミングに貢献します。