The Proscriptive Principle and Logics of Analytic Implication