Доказательство финитарного типа унификации в суперинтуиционистских логиках методом n-характеристической модели
Авторы
Брылякова Елизавета Валерьевна
ИМиФИ СФУ
Аннотация
Аннотация пока не опубликована.
Библиографическая ссылка
Брылякова Елизавета Валерьевна. Доказательство финитарного типа унификации в суперинтуиционистских логиках методом n-характеристической модели // Междисциплинарная конференция молодых учёных ФИЦ КНЦ СО РАН (КМУ-XXVIII): тезисы докладов. — Красноярск: ИФ СО РАН. — 2025. — С. 114.
Скачать полный сборникPDF · 8 016 КБ