東北大学 · 情報科学研究科

研究キーワードProof Theory・Cyclic Proof Systems・Cut Elimination・Hoare Logic・Propositional Dynamic Logic・Inductive Definitions

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics.Yukihiro Oda
• The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions.Yukihiro Oda, James Brotherston, Makoto Tatsuta
• A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicatesYukihiro Oda, Daisuke Kimura
• Proof systems for partial incorrectness logic (partial reverse Hoare logic).Yukihiro Oda

• 非整礎証明体系，特に循環証明体系の証明論織田 幸弘

• 公式プロフィール