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

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