How big is BCI fragment of BCK logic

Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc

We investigate quantitative properties of BCI and BCK logics. The first part of the paper compares the number of formulas provable in BCI versus BCK logics. We consider formulas bu…