Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Social and Behavioral Sciences
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?