Intuitsionistlik loogika
Intuitsionistlik loogika (inglise intuitionistic logic) on mitteklassikaline loogika, millele pani aluse hollandi matemaatik Arend Heyting (1898-1980). Intuitsionistlikus loogikas ei tunnistata välistatud kolmanda seadust ega kahekordse eituse seadust (s.t väite eituse eitusest tulenevat jaatust).