Институт математики
и фундаментальной информатики СФУ

С.И. Башмаков реферирует статью:
V. Rybakov - «Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals», 2005 г.

С.И. Башмаков реферирует статью:
V. Rybakov - «Intransitive linear temporal logic, Knowledge from Past, decidability, admissible rules».

Доклад М.А. Моор – «Базис допустимых правил вывода табличных логик. Часть 2»

Доклад М.А. Моор – «Базис допустимых правил вывода табличных логик. Часть 1»

Доклад С.И. Башмаков – «Доказательство финитной аппроксимируемости и проективной унификации в линейной нетранзитивной мономодальной логике»

Аннотация доклада.
В докладе рассматриваются вопросы финитной аппроксимируемости и унификации в в линейной нетранзитивной мономодальной логике. Анализируется подход В.В. Рыбакова через построение проективного унификатора.

Доклад С.И. Башмаков – «Проективная унификация в линейной интранзит. мономодальной логике LiTL». Часть 2.

Аннотация доклада.
Доклад посвящен проективной унификации в логике LiTL, анализируются известные результаты, подход С. Гиларди через проективные формулы.

Доклад С.И. Башмаков – «Проективная унификация в линейной интранзитивной мономодальной логике LiTL». Часть 1.

Аннотация доклада.
Доклад посвящен проективной унификации в логике LiTL, анализируются известные результаты, подход С. Гиларди через проективные формулы.

д-р физ.-мат. наук, профессор Белов Ю.Я. «Применение метода слабой аппроксимации при решении различных задач».

Организационные вопросы.

Доклад С.И. Башмаков – «Финитная аппроксимируемость линейной интранзитивной мономодальной логики LiTL»

Аннотация доклада.
На вводном заседании был сделан доклад о вопросе финитной аппроксимируемости логики LiTL.