Abstract Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide proof system for logic which includes supervaluationistically acceptable versions the classical meta-inferences. The emerges naturally by thinking truth as licensing assertion, falsity negative ...