Лаборатория логических систем Института математики им. С.Л. Соболева СО РАН

В нашей лаборатории проводятся исследования по следующим направлениям:

  • теория вычислимости (включая обобщённую вычислимость);
  • определимость в допустимых множествах;
  • теория вычислимых моделей;
  • нестандартные логики (модальные, немонотонные, вероятностные и т.д.);
  • универсальная алгебра и её применения в логике;
  • основания логического программирования;
  • монадическая определимость в «слабых» арифметических структурах;
  • теоретико-игровая семантика;
  • математическая и компьютерная лингвистика.

Адрес: проспект Академика Коптюга 4, 630090 Новосибирск