Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
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?
The Strong Relevance Logics, Martin W. Bunder
The Strong Relevance Logics, Martin W. Bunder
Faculty of Engineering and Information Sciences - Papers: Part A
The tautology p - q - p is not a theorem of the various relevance logics (see Anderson and Belnap [1]) because q is not considered to be relevant in the derivation of final p. We can take this lack of relevance to mean simply that p-q-p could have been proved without q and its -, i.e., p-p. By the same criterion we could say that in ((p-p) -q) -q p-p is not relevant. In general we will say that any theorem A of an implicational logic is strongly relevant if there is no subpart B ! which can be …