Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 годасборник

Статьи, опубликованные в сборнике

---

• • 2003 Mosaic Method and Analytic Tableaux for Temporal Logics
  • Grigoriev O.M.
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 196-197
• • 2003 On Kolmogorov’s reduction of the set of all derivations of a theory to propositional logic
  • Кузичев А.С.
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 80-81
• • 2003 Заметки на полях: логика и право
  • Сорина Г.В.
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 267-268
• • 2003 Интенсиональные аналоги аристотелевско-оккамовской позитивной силлогистики
  • Маркин В.И.
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 157-160
• • 2003 К вопросу о теории аргументации
  • Ивлев Ю.В.
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 128-129
• • 2003 К вопросу экспликации понятия истинности в нестандартных семантиках
  • Смирнова Е.Д.
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 176-179
• • 2003 Метатеоретические свойства натурального вывода
  • Шангин В.О.
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 56-57
• • 2003 Негативная силлогистика аристотелевского типа
  • Ильин А.А.
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 132-134
• • 2003 О расширениях «суперинтуиционистской» логики доказуемости формулами от одной переменной
  • Чагров Александр Васильевич
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 51-53
• • 2003 О семантике Крипке со взрывающимися мирами для базисной логики
  • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
  • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 53-54