A note on monothetic BCI
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
|Collections||ANU Research Publications|
|Source:||Notre Dame Journal of Formal Logic|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.