BCK and BCI logics, condensed detachment and the 2-property
This paper is an interesting summary of results on the implicational logics BCK and BCI and their connections with their condensed logics (logics based on the same axioms but with condensed detachment as sole rule) as well as with combinators and lambda-calculus. Full proofs are given of the 2- and 1-2 properties based on the ideas of S. Jaskowski, for most of the other results literature references are provided.
scientific article; zbMATH DE number 469218