Como todas las lógicas paraconsistentes, sostiene que de A y -A no puedo deducir cualquier cosa.