A many-valued logic intended to model silence