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

Engineering Commons™

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

University of Wollongong

1994

Bciw

Articles 1 - 1 of 1

Full-Text Articles in Engineering

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?

Go to article