Gently Paraconsistent Calculi
Janusz Ciuciura · Axioms · 2020
In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference. Each calculus will be expected to contain all axiom schemas of the positive fragment of classical propositional calculus and respect the principle of gentle explosion.