A weak propositional calculus for signal processing with thresholds | IEEE Conference Publication | IEEE Xplore