Сортировать по названию доклада      

Подсекция «Логика»
  1. Бястинова Е.В. - Особенности представления метатеоремы дедукции для системы E релевантной логики
  2. Зайцев И.В. - Биреляционная семантика для льюисовских интуиционистских кондициональных логик
  3. Иванов Д.В. - Компьютерная формализация системы L3 со схемами аксиом
  4. Слюсарев И.Ю. - Подлинно паранепротиворечивая минимальная логика
  5. Тимохин А.А. - О твист-структурах в мезоконнексивной логике MeC
Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2025» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов, Е.И. Зимакова. [Электронный ресурс] – М.: МАКС Пресс, 2025.
ISBN 978-5-317-07418-0