Return to Article Details Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations Download Download PDF