Negation-limited formulas

Understanding the power of negation gates is crucial to bridge the exponential gap between monotone and non-monotone computation. We focus on the model of formulas over the De Morgan basis and study the connection of negation-limited formulas with negation-limited circuits and with monotone formulas. We show the following results: