2 problems

0 votes0 replies0 views
Soundness conjecture for the finite recurrence operators in CL15
Let $\textbf{CL15}$ be the cirquent calculus system with recurrence operators $\text{\raisebox{-0.05cm}{$ circ $}\hspace{-0.13cm}\raisebox{0.16cm}{\tiny$ mid $}\hspace{2pt}}$ and…
Conjectureopencirquent-calculus computability-logicarXiv posted 2 days ago
0 votes0 replies0 views
Soundness conjecture for the recurrence operators in CL15
Let $\textbf{CL15}$ be the cirquent calculus system with recurrence operators $\text{\raisebox{-0.05cm}{$ circ $}\hspace{-0.13cm}\raisebox{0.16cm}{\tiny$ mid $}\hspace{2pt}}$ and…
Conjectureopencirquent-calculus computability-logicarXiv posted 2 days ago

Soundness conjecture for the finite recurrence operators in CL15