Logica classica: differenze tra le versioni

*La [[logica paraconsistente]] nega il principio di non-contraddizione;

*La [[logica sfumata]], e la [[logica polivalente]] in genere, negano il principio del [[terzo escluso]]. La [[logica sfumata]], inoltre nega una forma debole del principio di non-contraddizione, pur rimanendo consistente;

*La [[logica lineare]] e la [[logica non-monotona]] nega la monotonia dell'implicazione;

*La [[logica lineare]] nega l'idempotenza dell'implicazione;