Logika intuicjonistyczna (konstruktywna) – system logiczny oparty na filozoficznej koncepcji intuicjonizmu. Za prekursora formalizacji logiki intuicjonistycznej...

ekspertowych. historia logiki logika intuicjonistyczna logika modalna logika prawnicza logika rozmyta logika wielowartościowa logika wolna analiza logiczna...

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

{\displaystyle \neg p} nie musi być prawdziwe. Niektóre logiki, na przykład logika intuicjonistyczna, nie akceptują prawa wyłączonego środka jako znajdującego...

Logika trójwartościowa – wariant logiki zdań bądź predykatów rozszerzony o dodatkową wartość w stosunku do systemów klasycznych. Za pierwszy system logiki...

włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie...

Logika rozmyta (ang. fuzzy logic) – jedna z logik wielowartościowych, stanowi uogólnienie klasycznej dwuwartościowej logiki. Została zaproponowana przez...

kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną). Na przykład w rachunku...

Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite. Pierwotnie służyła jako narzędzie do filozoficznych...

Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogą być tworzone z formuł...

rosyjskiej szkoły konstruktywizmu) Arend Heyting (sformalizowana logika intuicjonistyczna i teorie) Per Martin-Löf (twórca konstruktywnych teorii typów)...

odpowiedniości pomiędzy termami rachunku lambda z typami a dowodami logiki intuicjonistycznej. Odpowiedniość ta pozwala na wyrażanie dowodów twierdzeń jako...

logik. Przyczynił się do powstania podstaw logiki intuicjonistycznej, czyniąc z tej ostatniej dział logiki matematycznej. Student L.E.J. Brouwera na Uniwersytecie...

wyłączonego środka a logika intuicjonistyczna, Filozofia Nauki 31-32 (2000), s. 45–53. Kilka uwag o przedmiocie logiki intuicjonistycznej, Roczniki Filozoficzne...

Curry’ego-Howarda jest równoważny pewnej logice intuicjonistycznej, a zatem operacja ta odpowiada tautologii logiki intuicjonistycznej: ( ( p ∧ q ) ⟹ r ) ⟺ ( p ⟹ (...

zaproponował formalny rachunek logiki parakonsystentnej, a ponadto był pionierem w badaniu zarówno logiki intuicjonistycznej, jak i logiki wolnej. Pochodził z rodziny...

Logika wolna (ang. free logic) – logika wolna od założeń ontologicznych, takich jak założenie niepustości dziedziny. Jako pierwszy problem pustości dziedziny...

Piróg-Rzepecka: Logika matematyczna. Wyd. 2. popr. i uzup. Warszawa: Wydawnictwo Naukowe PWN, 1999. ISBN 83-01-12958-1. AleksyA. Schubert AleksyA., Logika implikacji...

uogólniona wersja prawdziwe są w klasycznym rachunku zdań. logika intuicjonistyczna semantyka algebraiczna semantyka Kripkego intuicjonistycznego rachunku zdań...

{\displaystyle \neg p\vee \neg \neg p.} intuicjonistyczny rachunek zdań Marciszewski, Witold (red.) [1987]. Logika formalna. Zarys encyklopedyczny z zastosowaniem...

Arend Heyting (1930) w celu zbudowania formalnego narzędzia dla logiki intuicjonistycznej, którą stworzyła holenderska szkoła logików inspirowana przez...

Logika parakonsystentna (logika paraniesprzeczna) – logika, która dopuszcza wystąpienie sprzeczności, pod warunkiem, by nie prowadziło to do przepełnienia...

We wczesnych pracach opracowywał krytykę historyzmu i psychologizmu w logice, opartą na analizie intencjonalności. W swojej dojrzałej pracy starał się...

poznaniu dzięki intuicjom, jakie posiadamy na ich temat, niepotrzebna do nich logika czy doświadczenie. Uważają oni, że treść twierdzeń matematycznych, a zwłaszcza...

matematycznych i informatyki, zarówno z punktu widzenia logiki klasycznej, jak i intuicjonistycznej. Na przestrzeni lat język i sposób rozumowania typowy...

filozofii w 2001 na Uniwersytecie Łódzkim w oparciu o pracę pt. Intuicjonistyczna logika tensalna i indeterminizm, której promotorem był dr hab. Kazimierz...

specjalizując się w logice matematycznej pod kierunkiem Jana Łukasiewicza. Na studiach uczęszczał również na wykłady z logiki prowadzone przez Stanisława...

sformułowane w rachunku predykatów z równością, w którym jedynym symbolem spoza logiki jest binarny predykat „należenia do”, oznaczany symbolem ∈ {\displaystyle...

Truth and other Enigmas (1978) i The Seas of Language (1993) bronią intuicjonistycznej filozofii matematyki i podkreślają językowe fundamenty epistemologii...

Klasyczne twierdzenie o dedukcji jest prawdziwe m.in. w klasycznym i intuicjonistycznym rachunku zdań oraz w rachunku predykatów w ujęciu Endertona. rachunek...

relacyjnym) – struktura matematyczna używana w logikach modalnych i intuicjonistycznym rachunku zdań. Definiuje się go jako trójkę M = ⟨ U , R , V ⟩ , {\displaystyle...