research
∙
03/11/2022
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
The framework of cyclic proof systems provides a reasonable proof system...
share
research
∙
06/22/2021
