Yukihiro Masuoka

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Sequent Calculus

Cut Elimination

Top Venues

Publications

Yukihiro Masuoka, Daisuke Kimura
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates. CoRR (2022)
Yukihiro Masuoka, Makoto Tatsuta
Counterexample to cut-elimination in cyclic proof system for first-order logic with inductive definitions. CoRR (2021)