TY - JOUR
T1 - A note on monothetic BCI
AU - Kowalski, Tomasz
AU - Butchart, Sam
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
KW - BCI logic
KW - Monothetic BCI logic
KW - Substructural logics
UR - http://www.scopus.com/inward/record.url?scp=34447568341&partnerID=8YFLogxK
U2 - 10.1305/ndjfl/1168352666
DO - 10.1305/ndjfl/1168352666
M3 - Article
SN - 0029-4527
VL - 47
SP - 541
EP - 544
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
IS - 4
ER -