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.
•
Paraconsistent logics have been developed that allow for sub-contrary forming operators.
Archimedes' principle | Jon Spencer Blues Explosion | Halifax Explosion | uncertainty principle | Aufbau principle | The Principle of Evil Made Flesh | Get Down Tonight: The Disco Explosion | Erie Explosion | Deepwater Horizon explosion | Bernoulli's principle | An Essay on the Principle of Population | The Robot Explosion | The Explosion | Silvertown explosion | Pauli exclusion principle | Pareto principle | Nuclear explosion | Homestead principle | Explosion crater | Del Webb Explosion | A Man of Principle | 2001 Humber Refinery explosion | USS Iowa turret explosion | the explosion of a gun mount on the U.S.S. ''Iowa'' | The 10,000 Year Explosion | Texas City Refinery explosion | Superposition principle | Shattered City: The Halifax Explosion | Scheimpflug principle | Sabatier principle |