A note on monothetic BCI
Date
Authors
Kowalski, Tomasz
Butchart, Samy
Journal Title
Journal ISSN
Volume Title
Publisher
University of Notre Dame Press
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
Description
Citation
Collections
Source
Notre Dame Journal of Formal Logic