シークエント体系の証明図から実証明を作る方法

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 佐々木 克巳

  南山大学数理情報学部

関連論文

• Normal forms in two normal modal logics (Formal Systems and Computality Theory)
• シークエント体系の証明図から実証明を作る方法
• ピレンヌ・テーゼをめぐる諸問題 : アンネ・リージング女史の学界展望を中心に
• Formulas with only one atomic formula in Grzegorczyk logic and provability logic(Proof Theory of Arithmetic)
• 証明可能性の論理と解釈可能性の論理におけるレーブの公理の性質を用いたカット除去定理の証明 (シークエント計算による証明論)

スポンサーリンク