Доклад:

Поляков А.А. - Примеры сравнимых унификаторов нетранзитивных логик.
Смелых К.А. - Свойство конечной модели логики CTLK.
Брылякова Е.В. - Диаграммы унификаторов.

Участники семинара:

• Башмаков С.И.
• Мукосий А.А.
• Донец Е.А.