Logica classica: differenze tra le versioni

*La [[logica sfumata]] (o ''fuzzy logic''), 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 costruttivista]] identifica strettamente la verità con la dimostrabilità: è il fondamento del [[Costruttivismo matematico]].

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

*La [[logica della computabilità]] è una teoria formale della computabilità costruita semanticamente, che si oppone alla logica classica, che è una teoria formale sulla verità; integra, ed estende, la logica classica, intuizionista e lineare;