A propositional calculus formal deductive system SUBℒ with an involutive negation | IEEE Conference Publication | IEEE Xplore