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 muuda