A Note on Monothetic BCI
Sam Butchart, Tomasz Kowalski · Notre Dame Journal of Formal Logic · 2006
In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI—the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.