Интуиционистская логика: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
A5b (обсуждение | вклад) мНет описания правки |
|||
Строка 23:
{{math-stub}}
== Натуральный вывод ==
== Исчисление секвенций ==
== Семантика ==
== Реляционная (Крипке)==
== Алгебраическая ==
== Топологическая ==
== Погружение интуиционистской логики в S4 ==
== Теорема Гливенко==
== Интересне особенности ==
Некоторые правила вывода не являются допустимыми
== См также ==
plato.stanford.edu
| |||