Login / Signup
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates.
Yukihiro Masuoka
Daisuke Kimura
Published in:
CoRR (2022)
Keyphrases
</>
cut elimination
linear logic
sequent calculus
training data
high dimensional
theorem proving