Return to Article Details Normalization Procedures for the Strongest Syllogistic Natural Deduction Systems Download Download PDF