|
1
|
Максимова Л.Л.
, Юн В.Ф.
Пример логик с интерполяционным свойством CIP, сумма которых не имеет CIP
Международная конференция "Мальцевские чтения"
11-15 нояб. 2024
|
|
2
|
Максимова Л.Л.
, Юн В.Ф.
Предтабличность и интерполяция
Мальцевские чтения : Международная конференция
13-17 нояб. 2023
|
|
3
|
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство Крейга и предтабличность над минимальной логикой
Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ"
14-18 нояб. 2022
|
|
4
|
Максимова Л.Л.
, Юн В.Ф.
Разрешимые свойства логик
Всероссийская научная конференция «Математические основы информатики и
информационно-коммуникационных технологий»
03-08 дек. 2021
|
|
5
|
Максимова Л.Л.
, Юн В.Ф.
Сводимость свойств гибридных логик к свойствам напарников
Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ"
20-24 сент. 2021
|
|
6
|
Максимова Л.Л.
, Юн В.Ф.
Узнаваемость логики OdF в классе предгейтинговых логик
Международная конференция "Мальцевские чтения", Новосибирск, 16-19 ноября 2020 г.
16-19 нояб. 2020
|
|
7
|
Максимова Л.Л.
, Юн В.Ф.
Проблема сильной узнаваемости в расширениях логик Od и JX
Международная конференция "Мальцевские чтения"
19-23 авг. 2019
|
|
8
|
Maksimova L.
, Yun V.
On strong recognizability of the intuitionistic logic
European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2019
11-16 Aug 2019
|
|
9
|
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство в расширениях Od
Международная конференция «Мальцевские чтения»
19 авг. - 22 нояб. 2018
|
|
10
|
Maksimova L.L.
, Yun V.F.
Strong decidability of the classification over Gl
6th World Congress and School on Universal Logic June 16–26, 2018 Vichy, France. – Vichy: Vichy University, 2018.
16-26 Jun 2018
|
|
11
|
Максимова Л.Л.
, Юн В.Ф.
Распознавание свойств исчислений по правилам вывода
Международная конференция "Мальцевские чтения", Новосибирск, 20-24 ноября 2017 г.,
20-24 нояб. 2017
|