Key points are not available for this paper at this time.
In this note, we shall consider a new algebra induced by the BCI-system of propositional calculus by C. A. Meredith quoted into A. N. Prior, Formal Logic (4
Kiyoshi Iséki (Sat,) studied this question.