Yukihiro Oda's page ⁄ talks and others
Masuoka is my former name.
not-peer-reviewed
- Yukihiro Masuoka and Makoto Tatsuta, "Cut-elimination in cyclic proof system for first-order logic", In Fourth Workshop on Mathematical Logic and its Applications (MLA), March 2021
- This link takes you to the page of "Fourth Workshop on Mathematical Logic and its Applications".
- Yukihiro Masuoka and Makoto Tatsuta, "Counterexample to cut-elimination in cyclic proof system", In Logic colloquium (LC), July 2021
- This link takes you to the page of "Logic Colloquium 2021".
Back to my top page.