Visual inference for the deductive systems LBPco, LBPc and LBPo

Abstract

The Usual Negation prohibits the compatibility of a proposition with its negation and indetermination with respect to the negation. The system presented in this work is a generalization of the Classical Logic. In it there is a new operator called Weak Negation, which has the characteristic of not prohibiting the compatibility with its negation nor indetermination with respect to the negation.