Basic Logic Paraconsistent Paracomplete with denial and Classic

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 new a operator called «weak negation», which has the characteristic of not prohibiting the compatibility of a proposition with its negation nor indetermination with respect to the negation.