ИСТИНА

• Члены программного комитета: Шангин В.О., Маркин В.И., Зайцев Д.В., Григорьев О.М., Григорьев О.М.
• Охват: Международная
• Даты проведения: 15-17 июня 2017
• Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Russia
• Организаторы:
  Философский факультет, МГУ имени М. В. Ломоносова
  Институт философии РАН
  АНО Институт логики, когнитологии и развития личности
  Фонд логико-философских исследований
• Число участников: 100
• Число докладчиков: 90
• Веб-сайт: http://smirnovreadings.ru/
• Все конференции этой группы
• Добавил в систему: Беликов Александр Александрович

Доклады:

• 2017 Aristotle’s logic and theology: communicative aspects of mutual influence (Устный)
• Авторы: Griftsova I.N., Sorina G.V.

• 2017 Completeness via Correspondence for Extensions of Paraconsistent Weak Kleene Logic (Устный)
• Авторы: Shangin V.O., Petrukhin Y.I.

• 2017 FDE and Its Relatives, Part II: Axiomatization (Устный)
• Авторы: Zaitsev D.V., Belikov A.A.

• 2017 FDE and its Relatives (Пленарный)
• Авторы: Беликов А.А., Зайцев Д.В.

• 2017 Generalized Truth Values and Quantum Logic (Устный)
• Автор: Григорьев О.М.

• 2017 Modal predicate logics: questions and answers (Пленарный)
• Автор: Шехтман В.Б.

• 2017 On weak constant domain conditions in the Kripke sheaf semantics (Устный)
• Автор: Skvortsov D.P.

• 2017 Realizability semantics for the predicate formulas based on generalized computability (Устный)
• Авторы: Plisko V.E., Konovalov A.Yu

• 2017 Адаптация диаграммного метода Льюиса Кэрролла применительно к аристотелевской и традиционной силлогистикам (Устный)
• Автор: Кожокару Н.И.

• 2017 Вторая теорема Гёделя о неполноте без арифметизации (Устный)
• Автор: Пахомов Фёдор Николаевич

• 2017 Двусмысленность как тактическое средство речевого воздействия (Устный)
• Автор: Кузина Е.Б.

• 2017 Интерпретации арифметики Пресбургера в себя (Устный)
• Автор: Запрягаев Александр Александрович

• 2017 К проблеме табличности фрагментов логики Int<w,w> (Устный)
• Автор: Попов В.М.

• 2017 Логика и онтология в творчестве Е.Д. Смирновой: 60-е гг. (Приглашенный)
• Автор: сокулер з.а.

• 2017 Методы формализации и основные области приложения квазиматричной (квазифункциональной) модальной логики. (Устный)
• Автор: Ивлев Ю.В.

• 2017 О взаимоотношении естественных и искусственных языков (Пленарный)
• Автор: Миронов В.В.

• 2017 О моделировании знания в социальных сетях (Устный)
• Автор: Крупский В.Н.

• 2017 О модусах повествовательного предложения (Устный)
• Автор: Шиян Тарас Александрович

• 2017 Объединения модально определимых классов моделей (Устный)
• Автор: Золин Евгений Евгеньевич

• 2017 Особенности трактовки суждений о несуществующих объектах в теории неполных символов Б. Рассела (Устный)
• Автор: Рейнгард А.М.

• 2017 От алгебры логики к математической логике. Последние шаги (Устный)
• Автор: Кузичева З.А.

• 2017 Перевод традиционной негативной силлогистики в модальную логику (Устный)
• Автор: Красненкова Анастасия Владимировна

• 2017 Реляционная семантика, ассоциированная алгебре эффектов (Устный)
• Автор: Шишов К.В.

• 2017 Силлогистика фактических объемов и логических содержаний понятий (Устный)
• Автор: Маркин В.И.

• 2017 Силлогистика, двойственная по истинностным значениям силлогистике Б. Больцано (Устный)
• Автор: Ильин А.А.

• 2017 Система натурального вывода для логики бессмысленности Z (Устный)
• Автор: Петрухин Я.И.

• 2017 Учение М. И. Каринского о гипотезе, агрегате и переносе в "Классификации выводов". (Устный)
• Автор: Шевцов А.В.

• 2017 Циклические выводы в логике доказуемости Гёделя-Лёба (Устный)
• Автор: Шамканов Данияр Салкарбекович