39 топологическая семантика логики доказуемости

Смотрим специальную топологическую семантику для модльной логики GL (известную также, как логика доказуемости). - понятие разреженного пространства; - топологическая производная; - связь с аксиомами отделимости T0 и T1. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: