Três negações em uma mesma estrutura formal.

Os Sistemas KG constituem uma família de lógicas não-clássicas desenvolvida para estudar, em um mesmo quadro formal, a negação clássica (¬c), a negação paraconsistente (¬p) e a negação paracompleta (¬q). KGp incorpora a eliminação da dupla negação paraconsistente; KGq, a introdução da dupla negação paracompleta; e KGc reúne as duas condições.

Esses sistemas permitem examinar, de maneira integrada, relações de contradição, contrariedade, subcontrariedade e subalternação, além de oferecer semânticas e métodos de prova próprios.