40 Генценовское исчисление

Показать описание

Поговорим об исчислениях Гентцена (исчисление секвенций) для классической и интуиционистской логики.
- общее представление о выводе секвенций
- связь с гильбертовским исчислением
- теорема об устранении сечения (Hauptsatz)
- полнота и корректность относительно своей семантики
- плюсы и минусы исчислений

💰 Если Вам нравится мой контент, то Вы можете поддержать канал: