By assigning polarities to atomic formulas, researchers can generate different inference rules for the same formula, thereby generalizing existing methods in the literature and organizing proof ...