Open Access. Powered by Scholars. Published by Universities.®

Science and Technology Studies Commons

Open Access. Powered by Scholars. Published by Universities.®

1994

Faculty of Engineering and Information Sciences - Papers: Part A

Bci

Articles 1 - 1 of 1

Full-Text Articles in Science and Technology Studies

Classical Versions Of Bci, Bck And Bciw Logics, Martin W. Bunder, John K. Slaney Jan 1994

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?