Abstract
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.
Citation
Sam Butchart. Tomasz Kowalski. "A Note on Monothetic BCI." Notre Dame J. Formal Logic 47 (4) 541 - 544, 2006. https://doi.org/10.1305/ndjfl/1168352666
Information
