logiki nieklasyczne:
logiki nieklasyczne
Encyklopedia PWN
1) systemy log. oparte na innych założeniach metalogicznych niż logika klas.; logiki wielowartościowe i intensjonalne;
2) systemy log. powstałe przez odrzucenie pewnych praw logiki klas.; logika intuicjonistyczna, parakonsystentna i kwantowa;
3) rozszerzenia logiki klas.; logika modalna aletyczna, deontyczna i epistemiczna.