Negation

Feminist logic may favor bilateralist proof systems
Feminist critique of inferentialism showing how formal logic systems embed political hierarchies and proposing paraconsistent alternatives that address these concerns.