Proof-theoretic paraconsistent logics usually deny the validity of one of the steps necessary for deriving an explosion, typically including disjunctive syllogism, disjunction introduction, and reductio ad absurdum.
Before the Middle Ages there was a logical debate among Islamic logicians, philosophers and theologians over whether the term qiyas refers to analogical reasoning, inductive reasoning or categorical syllogism.