Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Математика; Новосибирск; Новосибирск

Год издания: 2026

Ключевые слова: модальная логика, унификация, Расширения интуиционистской логики, Финитарность, Конечнослойная логика

Журнал: Математика

Номера страниц: 33

Место издания: Новосибирск

• Брылякова Е. В. (Сибирский федеральный университет)

• РИНЦ (eLIBRARY.RU)