Разумный Павел//О модальной предикатной логике QGL с нефундированными выводами

НИС "Современные проблемы математической логики" в ВШЭ Дата и время: 20.05.2022 в 16:20 Докладчик: Павел Разумный Название: О модальной предикатной логике QGL с нефундированными выводами Аннотация. В данной работе вводится секвенциальное исчисление SQGL_infty с нефундированными выводами. Доказываются теоремы о корректности и полноте относительно топологической семантики с переменными областями.