En este documento, consideramos algunos cálculos paraconsistentes en una formulación de estilo Hilbert con la regla de la deducción como la única regla de interferencia. Se espera que cada cálculo contenga todos los esquemas de axiomas del fragmento positivo del cálculo proposicional clásico y respete el principio de explosión suave.