Negative Connective

In logic and type theory, a connective is negative if it is defined via its Elimination Rules.