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).

Vaata ka
Klassikaline loogika

Loogika