Some results on the decision for Sheffer functions in partial K-valued logic. II | IEEE Conference Publication | IEEE Xplore