Tohoku University · Graduate School of Information Science

Research keywordsProof Theory・Cyclic Proof Systems・Cut Elimination・Hoare Logic・Propositional Dynamic Logic・Inductive Definitions

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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

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

• Official profile