Open Access. Powered by Scholars. Published by Universities.®
Science and Technology Studies Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Science and Technology Studies
Cancellation Laws For Bci-Algebra, Atoms And P-Semisimple Bci-Algebras, M W. Bunder
Cancellation Laws For Bci-Algebra, Atoms And P-Semisimple Bci-Algebras, M W. Bunder
Faculty of Engineering and Information Sciences - Papers: Part A
We derive cancellation laws for BCI-algebras and for p-semisimple BCI- algebras, show that the set of all atoms of a BCI-algebra is a p semisimple BCI-algebra and that in a p-semisimple BCI-algebra and = are the same.
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?