Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Entire DC Network
Classical Versions Of Bci, Bck And Bciw Logics, Martin W. Bunder, John K. Slaney
Classical Versions Of Bci, Bck And Bciw Logics, Martin W. Bunder, John K. Slaney
Faculty of Engineering and Information Sciences - Papers: Part A
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?