Logika intuicjonistyczna
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.
