Classical versions of BCI, BCK and BCIW logics

Authors

Martin W. Bunder, University of WollongongFollow
John K. Slaney, Australian National University

RIS ID

87083

Publication Details

Bunder, M. W. & Slaney, J. K. (1994). Classical versions of BCI, BCK and BCIW logics. Bulletin of the Section of Logic, 23 (2), 61-65.

Abstract

The question is, is there a formula X, independent of B,C,K1, I and W that creates distinct subclassical logics BCIX,BCKX and BCIWX, while BCKWX is the full classical implicational logic TV?