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
∙
01/29/2021
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction
Filinski constructed a symmetric lambda-calculus consisting of expressio...
research
∙
04/11/2018
Completeness of Cyclic Proofs for Symbolic Heaps
Separation logic is successful for software verification in both theory ...
research
∙
02/16/2018