Семинар однократно перенесен на пятницу и пройдет в формате long-play-марафона

Доклады:

• Е.А. Донец - «Предтабличные расширения интуиционистской логики (обзор статьи Л.Л. Максимовой). Часть 2»
• Т.Ю. Зверева - «Аксиоматизация линейной логики знания с нетранзитивным временным отношением»

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

• Башмаков С.И.
• Зверева Т.Ю.
• Донец Е.А.
• Ташкен А.О.