Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 годасборник

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

---

• • 2007 Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL
  • Bolotov A.E., Grigoriev O.M., Shangin V.O.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 44-46
• • 2007 Интервалы простых паралогик
  • Попов В.М.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 35-37
• • 2007 К вопросу о полноте по Крипке предикатных логик
  • Рыбаков М.Н.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 37-38
• • 2007 К вопросу об историко-логической адекватности реконструкции В. А. Смирновым силлогистических теорий Н. А. Васильева
  • Шиян Т.А.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 166-167
• • 2007 К экспликации понятия истинности и анализу парадокса Лжеца
  • Смирнова Е.Д.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 111-113
• • 2007 Номиналистская трактовка высказываний науки и проблема интерпретации условных высказываний
  • Попов О.В.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 105-107
• • 2007 Объективная и субъективная реальность с точки зрения различных логических систем
  • Ивлев Ю.В.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 75-76
• • 2007 Оценка аргументации
  • Зайцев Д.В.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 70-71
• • 2007 Силлогистика с константами, соответствующими модельным схемам с универсумом
  • Маркин В.И.
  • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 89-91