A Note on Monothetic BCI
Kowalski, Tomasz ; Butchart, Sam
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 541-544 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2006-10-14
Classification:  substructural logics,  BCI logic,  monothetic BCI logic,  03B47 
@article{1168352666,
     author = {Kowalski, Tomasz and Butchart, Sam},
     title = {A Note on Monothetic BCI},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 541-544},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1168352666}
}

Kowalski, Tomasz; Butchart, Sam. A Note on Monothetic BCI. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  541-544. http://gdmltest.u-ga.fr/item/1168352666/