Two basic pure-implicational systems

@article{Zeman1979TwoBP,
  title={Two basic pure-implicational systems},
  author={J. Jay Zeman},
  journal={Notre Dame Journal of Formal Logic},
  year={1979},
  volume={20},
  pages={674-684}
}