The post Linear inferences of size 7 appeared first on The Proof Theory Blog.

]]>The post ‘Simple’ proofs of cut-elimination II: intuitionistic logic appeared first on The Proof Theory Blog.

]]>The post What proof mining is about, Part IV: Kohlenbach & friends appeared first on The Proof Theory Blog.

]]>The post What proof mining is about, Part III: The Heroic Age of Unwinding Proofs appeared first on The Proof Theory Blog.

]]>The post The computational content of Nonstandard Analysis appeared first on The Proof Theory Blog.

]]>The post A new linear inference of size 8 appeared first on The Proof Theory Blog.

]]>The post What proof mining is about, Part II: Structures and metatheorems appeared first on The Proof Theory Blog.

]]>The post Checking proofs with very low complexity appeared first on The Proof Theory Blog.

]]>The post What proof mining is about, Part I appeared first on The Proof Theory Blog.

]]>The post From cut elimination to reverse mathematics appeared first on The Proof Theory Blog.

]]>