Semantyki dla intuicjonistycznego rachunku zdań

Odkąd Heyting i Kolmogorov w latach '30 XX wieku sformalizowali logikę intuicjonistyczną, zaproponowano wiele różnych modeli formalnych dla intuicjonistycznego rachunku zdań. W pierwszej części tej pracy omówione są trzy dobrze znane semantyki dla intuicjonistycznego rachunku zdań IPC: struktury Kripkego, semantyka algebraiczna oraz semantyka topologiczna. Przedstawione są wyniki dotyczące twierdzenia o pełności, oraz twierdzeń o równoważności tych semantyk względem IPC. Końcowy rozdział omawia stosunkowo niedawno rozwiniętą semantykę teoriogrową dla IPC oraz krótko porównuje ją z dotychczasowymi wynikami.Since Heyting and Kolmogorov first formalised intuitionistic logic in the 1930's, various formal structures have been proposed as a semantics for intuitionistic calculus. Most of this work covers three well-known semantics for intuitionistic propositional calculus IPC: Kripke models, algebraic semantics and topological semantics. The results concerning completeness of IPC and equivalence of these semantics are presented. The last section includes recently developed game semantics for IPC and few comments on its relation to other known approaches