41 Гейтинговы алгебры

Семантика интуиционистской и классической логик в секвенциальном формате исчисления - алгебры Гейтина: - определение решетки и алгебры Гейтинга; - основная семантическая лемма; - алгебра Линденбаума; - теорема о корректности и полноте генценовского исчисления относительно гейтинговых алгебр; - булева алгебра; - связь с топологической семантикой; - общая картинка различных семантик. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: