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

研究关键词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

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

• 官方个人主页