Semantic Forcing Brands for Basic paraconsistent logic - LBPc

Abstract

The semantic forcing of marks for the Basic Paraconsistent Logic system, LBPc, is obtained from the semantic forcing of marks for the classical logic, adding a new operator called weaknegation. The inference rules for this negation indicate that the weak negation comes from the usual negation, but only in particular cases the reverse is valid. The resulting system supports weak contradictions and serves as a basis for the study of inconsistent theories but non-trivial.