Z Wikipedii

Logika intuicjonistyczna jest to system logiczny oparty na filozoficznej koncepcji intuicjonizmu. Podstawową cechą logiki intuicjonistycznej jest założenie, że prawdziwość zdania jest oparta na istnieniu dla niego dowodu, a nie na wartościowaniu poszczególnych jego składowych. Z tego powodu logika intuicjonistyczna odrzuca prawo wyłączonego środka oraz dwuwartościowość logiki klasycznej. Za prekursora formalizacji logiki intuicjonistycznej uważa się Arenda Haytinga.

[edytuj] Składnia

Logika intuicjonistyczna używa tej samej składni, co logika klasyczna. Nie występują żadne nowe spójniki logiczne.

[edytuj] Semantyka

Semantykę dla logiki intuicjonistycznej opisuje się zazwyczaj za pomocą algebr Heytinga lub modeli Kripkego.