Opening book details…
About this scholarly article
A Simplified Lower Bound for Implicational Logic by Jeřábek, Emil is a scholarly article available to read on EtoBox.
- Author
- Jeřábek, Emil
- Published
- 2023
- Language
- EN
About this book
We present a streamlined and simplified exponential lower bound on the length of proofs in intuitionistic implicational logic, adapted to Gordeev and Haeusler's dag-like natural deduction.
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- en
- Published
- 2023
- Availability
- Checking…