Kurt Gödel w 1932 pokazał, że logika intuicjonistyczna nie jest logiką o skończonej liczbie wartości logicznych i sformułował logikę Gödla, leżącą pomiędzy logiką klasyczną a intuicjonistyczną. Logiki o tej własności nazywane są logikami pośrednimi.
Zobacz też logika modalna logika rozmyta
Przypisy
Linki zewnętrzne Many-valued logic , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2025-04-23].
Many-valued logics , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10].
Kategoria:Logika matematyczna