ИСТИНА

Попов Владимир Михайлович пользователь

МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики, доцент, с 1 сентября 2000

кандидат философских наук с 1981 года

доцент по кафедре логики с 1 апреля 1991 г.

Соавторы: Карпенко А.С., Солощенков А.А., Шангин В.О., Хорохорин И.И., Шуклин Г.Н., Баташев Д.В., Знаменская Н.А., Beziau J.Y., Bueno-Soler J., Carnielli W., D’Ottaviano I.M., Priest G., Teixeira da Mata J.V. показать полностью..., Васюков В.Л., Девяткин Л.Ю., Долгова Т.П., Зайцев Д.В., Ишмуратов А.Т., Карпенко И.А., Маркин В.И., Микиртумов И.Б., Попович А.Н., Смирнова Е.Д., Сорина Г.В.

111 статей, 1 книга, 11 докладов на конференциях, 36 тезисов докладов, 4 НИР, 1 членство в редколлегии журнала, 2 членства в программных комитетах, 2 диссертации, 3 дипломные работы, 7 учебных курсов

Количество цитирований статей в журналах по данным Scopus: 1

IstinaResearcherID (IRID): 1199108

Деятельность

• Статьи в журналах

  • • 2021 К проблеме расширения матричной семантики, адекватной классической импликативной логике, до матричной семантики, адекватной классической конъюнктивно-импликативной логике
    • Попов В.М.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 19, № 1, с. 1-11
  • • 2020 К проблеме расширения матричной семантики, адекватной классической импликативной логике, до матричной семантики, адекватной классической импликативно-негативной логике (Часть 2)
    • Попов В.М.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 18, № 1, с. 34-45
  • • 2020 К проблеме расширения матричной семантики, адекватной классической импликативной логике, до матричной семантики, адекватной классической импликативно-негативной логике (Часть 3)
    • Попов В.М.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 18, № 2, с. 134-160
  • • 2020 К проблеме расширения матричной семантики, адекватной классической импликативной логике, до матричной семантики, адекватной классической импликативно-негативной логике (Часть 4)
    • Попов В.М.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 18, № 3, с. 212-236
  • • 2019 К проблеме расширения матричной семантики, адекватной классической импликативной логике, до матричной семантики, адекватной классической импликативно-негативной логике
    • Попов В.М.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 17, № 1, с. 1-31
  • • 2019 Немного о трехзначных логических матрицах с одним выделенным значением
    • Попов В.М.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 17, № 2, с. 194-198
  • • 2019 Трехзначные логические матрицы с одним выделенным значением, адекватные классической импликативной логике
    • Попов В.М.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 17, № 2, с. 142-193
  • 
    • 2018 К проблеме характеризации логик Васильевского типа: о табличности логик I<x;x> (x ϵ {1, 2, …})
    • Попов В.М.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 16, № 3, с. 217-234
  • • 2018 К проблеме характеризации логик васильевского типа: о табличности логик I<x, y> (x,yϵ{0, 1, 2,…} и x>y)
    • Попов В.М.
    • в журнале INTERNATIONAL SCIENCE PROJECT, № 16, 1 часть, с. 18-24
  • • 2018 Об одной последовательности табличных линейных паранормальных логик с неклассической импликацией
    • Попов В.М.
    • в журнале Евразийский Союз Ученых (ЕСУ), № 7(52), 3 часть, с. 20-28
  • 
    • 2017 К проблеме характеризации логик васильевского типа: о табличности логик I‹x, y› (x, y ∈{0, 1, 2,… } и x < y). Часть I
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 23, № 1, с. 57-82
  • • 2017 Об одной трехзначной паранормальной логике
    • Попов В.М.
    • в журнале Вестник Московского университета. Серия 7: Философия, издательство Изд-во Моск. ун-та (М.), № 6, с. 46-51
  • • 2016 Двузначная семантика логики PCont
    • Попов В.М.
    • в журнале Актуальные проблемы гуманитарных и естественных наук. М.: Институт Стратегических Исследований, № 01 (84), с. 102-106
  • • 2016 О погружениях простых паранепротиворечивых логик
    • Попов В.М.
    • в журнале Логико-философские исследования, том 7, с. 121-144
  • 
    • 2016 Секвенциальная аксиоматизация и семантика I-логик васильевского типа
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 22, № 1, с. 32-69
  • 
    • 2015 Двузначная семантика логики Par
    • Попов В.М.
    • в журнале Актуальные проблемы гуманитарных и естественных наук, издательство Науч.-информ. изд. центр и ред. журн. "Актуальные проблемы гуманитарных и естественных наук" (М.), № 01 (72), с. 257-260
  • 
    • 2015 Об одном обобщении теоремы Гливенко
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 21, № 1, с. 100-121
  • 
    • 2014 Syntax and semantics of simple paranormal logics
    • Попов В.М., Шангин В.О.
    • в журнале Логико-философские исследования, № 6, с. 290-297
  • • 2014 Об одной нетабличной логике с классическим позитивным фрагментом
    • Попов В.М.
    • в журнале Актуальные проблемы гуманитарных и естественных наук, издательство Науч.-информ. изд. центр и ред. журн. "Актуальные проблемы гуманитарных и естественных наук" (М.), № 1-1, с. 230-233
  • 
    • 2014 Погружение классической пропозициональной логики в паралогики, родственные логике Par
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 20, с. 151-160
  • 
    • 2013 Between Int<ω,ω> and intuitionistic propositional logic
    • Popov V.M.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 19, с. 197-199
  • 
    • 2013 Syntax and semantics of simple paracomplete logics
    • Popov V.M., Shangin V.O.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 19, с. 325-334
  • • 2013 Секвенциальные аксиоматизации паралогик, включающих логику Par
    • Попов В.М.
    • в журнале Объединенный научный журнал, № 7-10, с. 5-11
  • • 2012 Заметки о паралогиках
    • Попов В.М., Солощенков А.А.
    • в журнале Объединенный научный журнал, № 6-7, с. 29-30
  • 
    • 2012 Интерполяционная теорема для простой паранормальной логики INT0,ω
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 18, с. 182-196
  • • 2012 Об отсутствии интерполяционного свойства у логики VIK
    • Попов В.М., Солощенков А.А.
    • в журнале Объединенный научный журнал, № 8-9, с. 29-30
  • • 2012 Семантика пропозициональной паранормальной логики Нельсона
    • Попов В.М.
    • в журнале Объединенный научный журнал, № 6-7, с. 20-21
  • • 2012 Семантика пропозициональной параполной логики Нельсона
    • Попов В.М., Солощенков А.А.
    • в журнале Объединенный научный журнал, № 8-9, с. 31-32
  • • 2011 Интерполяционная теорема для простой паранормальной логики I0,ω
    • Попов В.М.
    • в журнале Объединенный научный журнал, № 11-12, с. 60-66
  • • 2011 Интерполяционная теорема для простых паранормальных логик I0,1, I0,2, I0,3,
    • Попов В.М.
    • в журнале Объединенный научный журнал, № 9-10, с. 63-70
  • • 2011 Между Par (1) и множеством всех формул
    • Попов В.М.
    • в журнале Объединенный научный журнал, № 11-12, с. 66-70
  • • 2011 Новые паралогики, являющиеся консервативными расширениями позитивной логики
    • Попов В.М.
    • в журнале Объединенный научный журнал, № 9-10, с. 70-74
  • 
    • 2011 Секвенциальная аксиоматизация паранормальной логики PContPComp
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 17, с. 240-245
  • 
    • 2011 Секвенциальная аксиоматизация пропозициональных логик нельсоновского типа
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 17, с. 246-250
  • • 2011 Семантическая характеризация паранормальных логик I1, I2, I3,
    • Попов В.М.
    • в журнале Объединенный научный журнал, № 1-2, с. 59-60
  • 
    • 2010 Секвенциальные аксиоматизации простых паралогик
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 16, с. 205-220
  • 
    • 2009 Некоторые интервалы между простыми паралогиками
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 15, с. 182-184
  • • 2009 Семантическая характеризация интуиционистски приемлемых простых паралогик и их связь с интуиционистской пропозициональной логикой
    • Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 19, с. 82-91
  • 
    • 2007 Две последовательности простых паранепротиворечивых логик
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 14, с. 257-261
  • • 2007 Простая паранепротиворечивая подлогика интуиционистской пропозициональной логики
    • Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 18, с. 111-116
  • • 2007 Простая параполная подлогика интуиционистской пропозициональной логики
    • Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 18, с. 117-122
  • • 2007 Трехзначные характеристические матрицы классической пропозициональной логики
    • Девяткин Л.Ю., Карпенко А.С., Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 18, с. 50-62
  • 
    • 2007 Четыре простые паралогики: семантики и секвенциальные формулировки
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 14, с. 262-270
  • 
    • 2005 Об одной девятизначной пара­нормальной логике
    • Баташев Д.В., Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 12, с. 54-61
  • 
    • 2005 Паранормальная подлогика интуиционистской логики
    • Баташев Д.В., Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 12, с. 62-66
  • 
    • 2004 Интуиционистски приемлемая паранормальная логика
    • Попов В.М., Шуклин Г.Н.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 11, с. 245-248
  • 
    • 2004 Интуиционистски приемлемая параполная логика
    • Попов В.М., Шуклин Г.Н.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 17, с. 84-87
  • 
    • 2003 Погружение исчисления RM в его позитивный фрагмент
    • Карпенко И.А., Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 10, с. 94-99
  • 
    • 2002 Об одной трехзначной параполной логике
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 9, с. 175-178
  • 
    • 2002 Подструктурные логики, родственные логике И.Е.Орлова
    • Карпенко А.С., Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 16, с. 59-63
  • 
    • 2001 Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 8, с. 150-154
  • 
    • 2000 Погружение импликативного фрагмента классической логики в импликативный фрагмент интуиционистской
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 7, с. 80-83
  • • 2000 Погружение классической пропозициональной логики в ее импликативный фрагмент и в импликативный фрагмент интуиционистской пропозициональной логики
    • Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 14, с. 36-41
  • 
    • 2000 Секвенциальная аксиоматизация квазиминимальной логики
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 7, с. 128-131
  • 
    • 1999 On the logics related to Arruda’s system V1
    • Popov V.M.
    • в журнале Logic and Logical Philosophy, том 7, с. 87-90 DOI
  • • 1999 Секвенциальное представление и семантика системы V1 А.Арруда
    • Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 13, с. 131-133
  • • 1999 Формализация нестандартных отношений выводимости в паранепротиворечивой логике
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 6, с. 116-125
  • • 1998 Inverse negation and classical implicative logic
    • Popov V.M.
    • в журнале Logique et Analyse, издательство Centre National Belge de Recherche de Logique (Belgium), том 41, № 161-163, с. 145-153
  • 
    • 1998 On V.A. Smirnov's systems RA and RAO
    • Popov V.M.
    • в журнале Bulletin of the section of logic, том 27, № 1/2, с. 57-58
  • • 1998 Диадические семантики для систем формальной силлогистики
    • Попов В.М., Хорохорин И.И.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 5, с. 252-278
  • 
    • 1997 BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lw
    • Karpenko A.S., Popov V.M.
    • в журнале Bulletin of the section of logic, том 26, № 3, с. 112-117
  • • 1997 Диадические семантики для систем С1 и С3 формальной силлогистики
    • Попов В.М., Хорохорин И.И.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 4, с. 134-136
  • 
    • 1997 Новая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича
    • Карпенко А.С., Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 11, с. 71-75
  • • 1997 Проблемы релевантной логики в работе В.А. Смирнова "Формальный вывод и логические исчисления"
    • Долгова Т.П., Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 4, с. 79-93
  • • 1993 Два замечания и один вопрос относительно аксиоматизации импликативных логик
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 2, с. 153-158
  • • 1993 Паранепротиворечивые секвенциальные исчисления
    • Попов В.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 1, с. 97-100
  • 
    • 1988 Paraconsistent sequential calculi
    • Popov Vladimir M.
    • в журнале Bulletin of the section of logic, том 17, № 3/4, с. 148-158

• Статьи в сборниках

  • • 2022 О непараполноте интуиционистской пропозициональной логики
    • Попов В.М.
    • в сборнике Третий Международный Конгресс Русского общества истории и философии науки «ПОСЛЕ ПОСТПОЗИТИВИЗМА», место издания РОИФН Москва, с. 502-503
  • • 2021 Замечание о трехзначных паранепротиворечивых логиках с одним выделенным значением
    • Попов В.М.
    • в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 43-49
  • • 2020 Трехзначная паранормальная импликативно-негативная логика с одним выделенным значением
    • Попов В.М.
    • в сборнике Восьмой Российский Философский Конгресс - «Философия в полицентричном мире». Секции (I). Сборник научных статей, серия ‘congressus’, издательство Логос (М.), том 1, с. 217-218
  • • 2020 Трехзначные логические матрицы с одним выделенным значением, адекватные классической импликативно-негативной логике
    • Попов В.М.
    • в сборнике Второй Международный Конгресс Русского общества истории и философии науки «Наука как общественное благо». Сборник научных статей, место издания Издательство РОИФН, том 4, с. 236-238
  • • 2020 Трехзначные логические матрицы с одним выделенным значением, адекватные паранепротиворечивым импликативно-негативным регулярным логикам с классической импликацией (Часть II)
    • Попов В.М.
    • в сборнике Сборник научных трудов по итогам международной научно-практической конференции №7 (11 ноября 2020 г.) г. Красноярск, HH: ИЦРОН, с. 22-46
  • • 2019 Трехзначные логические матрицы с одним выделенным значением, адекватные паранепротиворечивым импликативно-негативным логикам с классической импликацией (часть I)
    • Попов В.М.
    • в сборнике Естественные и математические науки: вопросы и тенденции развития. Выпуск VI. Сборник научных трудов по итогам международной научно-практической конференции (11 ноября 2019 г.), место издания ИЦРОН Нижний Новгород, с. 13-20
  • • 2018 О погружениях параполных логик
    • Попов В.М.
    • в сборнике Первый Конгресс Русского общества истории и философии науки "История и философия науки в эпоху перемен": сборник научных статей / Научн. ред. и сост. И.Т. Касавина и др. В 6 томах, место издания Изд-во «Русское общество истории и философии науки» Москва, том 1, с. 61-64
  • • 2018 О табличной паранормальной логике Par(2)
    • Попов В.М.
    • в сборнике Современные проблемы общественных наук в мире. Сборник научных трудов по итогам международной научно-практической конференции (11 июня 2018 г.), место издания Инновационный центр развития образования и науки Нижний Новгород, том 5, с. 17-22
  • • 2018 О табличной паранормальной логике Par(3)
    • Попов В.М., Солощенков А.А.
    • в сборнике Современные проблемы общественных наук в мире. Сборник научных трудов по итогам международной научно-практической конференции (11 июня 2018 г.), место издания Инновационный центр развития образования и науки Нижний Новгород, том 5, с. 22-25
  • • 2017 On Sublogics in Vasiliev Fragment of the Logic Definable with A. Arruda’s Calculus V1
    • Popov Vladimir M., Shangin Vasily O.
    • в сборнике The Logical Legacy of Nikolai Vasiliev and Modern Logic, серия Synthese Library, место издания Springer International Publishing, том 387, с. 181-188 DOI
    • редакторы Зайцев Дмитрий Владимирович, Маркин Владимир Ильич
  • 
    • 2017 Кортежная семантика паранепротиворечивой логики PCont
    • Попов В.М.
    • в сборнике Естественные и математические науки: от вопросов к решениям. Выпуск II. Сборник научных трудов по итогам международной научно-практической конференции (25 октября 2017 г.), место издания Эвенсис Томск, том 2, с. 30-36
  • 
    • 2017 Кортежная семантика паранормальной логики Par
    • Попов В.М.
    • в сборнике Естественные и математические науки: от вопросов к решениям. Выпуск II. Сборник научных трудов по итогам международной научно-практической конференции (25 октября 2017 г.), место издания Эвенсис Томск, том 2, с. 13-25
  • 
    • 2017 Кортежная семантика параполной логики PComp
    • Попов В.М.
    • в сборнике Естественные и математические науки: от вопросов к решениям. Выпуск II. Сборник научных трудов по итогам международной научно-практической конференции (25 октября 2017 г.), место издания Эвенсис Томск, том 2, с. 25-30
  • • 2017 О погружениях паранормальных логик
    • Попов В.М.
    • в сборнике Общественные науки: научные приоритеты ученых. Сборник научных трудов по итогам международной научно-практической конференции, место издания Эвенсис Пермь, том 2, с. 9-11
  • • 2016 О нетабличности дизъюнктивно-негативного фрагмента интуиционистской пропозициональной логики
    • Попов В.М.
    • в сборнике Общественные науки: современный взгляд на изучение актуальных проблем / Сборник научных трудов по итогам международной научно-практической конференции, место издания Институт инновационных технологий Астрахань, том 1, с. 47-56
  • • 2016 О нетабличности дизъюнктивно-негативного фрагмента любой ω-паранепротиворечивой логики васильевского типа
    • Попов В.М.
    • в сборнике Общественные науки: научные приоритеты учёных / Сборник научных трудов по итогам международной научно-практической конференции, место издания Федеральный центр науки и образования Эвенсис Пермь, том 1, с. 42-53
  • • 2016 О нетабличности дизъюнктивно-негативного фрагмента любой ω-параполной логики васильевского типа
    • Попов В.М.
    • в сборнике Общественные науки: вопросы и тенденции развития / Сборник научных трудов по итогам международной научно-практической конференции, место издания Красноярск, том 3, с. 40-51
  • • 2016 О нетабличности импликативно-негативного фрагмента любой ω-паранепротиворечивой логики васильевского типа
    • Попов В.М., Солощенков А.А.
    • в сборнике Основные проблемы естественных и математических наук / Сборник научных трудов по итогам международной научно-практической конференции, место издания ИЦРОН Волгоград, том 3, с. 19-30
  • • 2016 О нетабличности импликативно-негативного фрагмента любой ω-параполной логики васильевского типа
    • Попов В.М.
    • в сборнике Общественные науки: научные приоритеты учёных / Сборник научных трудов по итогам международной научно-практической конференции, место издания Федеральный центр науки и образования Эвенсис Пермь, том 1, с. 53-64
  • • 2016 О нетабличности конъюнктивно-негативного фрагмента любой ω-паранепротиворечивой логики васильевского типа
    • Попов В.М.
    • в сборнике Общественные науки: вопросы и тенденции развития / Сборник научных трудов по итогам международной научно-практической конференции, место издания Красноярск, том 3, с. 51-62
  • • 2016 О нетабличности конъюнктивно-негативного фрагмента любой ω-параполной логики васильевского типа
    • Попов В.М.
    • в сборнике Общественные науки: научные приоритеты учёных / Сборник научных трудов по итогам международной научно-практической конференции, место издания Федеральный центр науки и образования Эвенсис Пермь, том 1, с. 31-42
  • • 2016 О подлогиках логики, индуцированной исчислением V1 А. Арруда
    • Попов В.М.
    • в сборнике Актуальные проблемы общественных наук в России и за рубежом. Вып. III. Сборник научных трудов по итогам международной научно-практической конференции (10 февраля 2016), место издания Новосибирск, с. 52-56
  • • 2016 Секвенциальная аксиоматизация логики Int < α,β >
    • Попов В.М.
    • в сборнике Актуальные проблемы общественных наук в России и за рубежом. Вып. III. Сборник научных трудов по итогам международной научно-практической конференции (10 февраля 2016), место издания Новосибирск, с. 56-57
  • • 2015 Двузначная семантика для логики PCOMP
    • Попов В.М.
    • в сборнике Актуальные вопросы современных общественных наук. Сборник научных трудов по итогам международной научно-практической конференции, место издания Инновационный центр развития образования и науки Екатеринбург, с. 24-27
  • • 2015 Двузначная семантика логики PContPComp
    • Попов В.М.
    • в сборнике Тенденции и перспективы развития современного научного знания. Материалы XVII Международной научно-практической конференции, место издания Научно-информационно издательский центр "Институт стратегических исследований" Москва, с. 43-49
  • • 2015 Область PARACL
    • Попов В.М.
    • в сборнике Тенденции и перспективы развития современного научного знания материалы XVI Международной научно-практической конференции. Научно-информационный издательский центр "Институт стратегических исследований", место издания Москва, с. 82-84
  • • 2015 Семантика Int-логик васильевского типа
    • Попов В.М.
    • в сборнике Тенденции и перспективы развития современного научного знания материалы XVI Международной научно-практической конференции. Научно-информационный издательский центр "Институт стратегических исследований", место издания Москва, с. 79-82
  • • 2012 Интерполяционная теорема для простых паранормальных логик Int0,1, Int0,2, Int0,3
    • Попов В.М.
    • в сборнике Логика, язык и формальные модели, место издания Издательство СПбГУ Санкт-Петербург, с. 222-232
  • 
    • 2011 Семантическая характеризация паранормальных логик I01, I02, I03,
    • Попов В.М.
    • в сборнике Логическая семантика: перспективы для философии языка и эпистемологии, место издания Креативная экономика Москва, с. 161-167
  • • 2010 Вывод логический
    • Попов В.М.
    • в сборнике Новая философская энциклопедия в 4-х т., 2-е изд, место издания Мысль Москва, том 1, с. 267-268
  • • 2010 Работы В.А. Смирнова по теории доказательств
    • Попов В.М.
    • в сборнике Логико-философские труды В.А.Смирнова, место издания УРСС Москва, с. 119-135
  • • 2009 Вывод логический
    • Попов В.М.
    • в сборнике Энциклопедия эпистемологии и философии науки, место издания "Канон+" РООИ "Реабилитация" Москва, с. 134-135
  • • 2003 Об одной четырехзначной паранормальной логике
    • Попов В.М.
    • в сборнике Логика и В.Е.К, место издания Современные тетради Москва, с. 192-195
    • редакторы Зайцев Дмитрий Владимирович, Ильин Алексей Алексеевич, Маркин Владимир Ильич, Шиян Тарас Александрович
  • • 1989 О паранепротиворечивой логике
    • Ишмуратов А.Т., Карпенко А.С., Попов В.М.
    • в сборнике Синтаксические и семантические исследования неэкстенсиональных логик, место издания Наука Москва, с. 261-284
    • редактор Смирнов Владимир Александрович
  • • 1989 Примеры дефинициально несовместимых теорий
    • Попов В.М.
    • в сборнике Неклассические логики и их применение, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 7, с. 86-90
  • • 1989 Секвенциальные формулировки паранепротиворечивых логических систем
    • Попов Владимир Михайлович
    • в сборнике Синтаксические и семантические исследования неэкстенсиональных логик, место издания Наука Москва, с. 285-289
    • редактор Смирнов Владимир Александрович
  • • 1987 К вопросу о логике эклектики
    • Попов В.М., Попович А.Н.
    • в сборнике Неклассические логики и пропозициональные установки, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 6, с. 85-88
  • • 1986 О расширении системы С2 "оккамовской силлогистики"
    • Попов В.М.
    • в сборнике Нестандартные семантики неклассических логик, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 5, с. 116-119
  • • 1984 Импликативные релевантные логики и существенные формулы
    • Попов В.М.
    • в сборнике Многозначные, релевантные и паранепротиворечивые логики, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 3, с. 27-28
  • • 1984 Семантический и синтаксический анализ импликативно-негативного фрагмента системы RM
    • Попов В.М.
    • в сборнике Модальные и интенсиональные логики и их применение к проблемам методологии науки, место издания Наука Москва, с. 192-198
  • • 1983 Аналитико-табличные формулировки систем силлогистического типа
    • Попов В.М.
    • в сборнике Логические исследования, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 2, с. 27-31
  • • 1982 Разрешимость силлогистики с отрицательными терминами
    • Попов В.М.
    • в сборнике Модальные и релевантные логики, серия Труды научно-исследовательского семинара по логике Института философии АН СССР, место издания Институт философии АН СССР Москва, том 1, с. 36-46
  • • 1979 Канонические исчисления для конечных матриц с одним выделенным значением
    • Попов В.М.
    • в сборнике Логико-методологический анализ научного знания / Отв. ред. С.А. Лебедев, В.С. Меськов, место издания МГУ Москва, с. 117-121
  • • 1977 О разрешимости релевантной системы RA
    • Попов В.М.
    • в сборнике Методы логического анализа, место издания Наука Москва, с. 109-112

• Книги

  • • 2017 The Logical Legacy of Nikolai Vasiliev and Modern Logic
    • Markin V., Zaitsev D., Bazhanov V.A., Sorina G.V., Beziau J.Y., Bueno O., D’Ottaviano I.M.L, Gomes E.L., Teixeira da Mata J.V., Mikirtumov I., Smirnova E.D., Stelzner W., Priest G., Popov V.M., Shangin V.O., Vasyukov V.L., Bueno-Soler J., Carnielli W.
    • место издания Springer International Publishing AG WP, ISBN 978-3-319-66160-5, 978-3-319-66162-9, 229 с. DOI

• Доклады на конференциях

  • • 2022 О непараполноте интуиционистской пропозициональной логики (Устный)
    • Автор: Попов В.М.
    • Третий Международный Конгресс Русского общества истории и философии науки «ПОСЛЕ ПОСТПОЗИТИВИЗМА», Саратов+online, Россия, 8-10 сентября 2022
  • • 2022 Трехзначная паранормальная импликативно-негативная логика с одним выделенным значением (Устный)
    • Автор: Попов В.М.
    • VIII Российский философский конгресс «Философия в полицентричном мире. К 100-летию со дня рождения А. А. Зиновьева», МГУ имени М.В.Ломоносова, Россия, 26-28 мая 2022
  • • 2021 Замечание о трехзначных паранепротиворечивых логиках с одним выделенным значением (Устный)
    • Автор: Попов В.М.
    • Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия, 24-26 июня 2021
  • • 2019 Замечание о трехзначных логических матрицах с одним выделенным значением, адекватных импликативно-негативным логикам (Устный)
    • Автор: Попов В.М.
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2017 К проблеме табличности фрагментов логики Int<w,w> (Устный)
    • Автор: Попов В.М.
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2015 Об одной проблеме, поставленной В.А. Смирновым (Устный)
    • Автор: Попов В.М.
    • Девятые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2015 года, Москва, Россия, 17-19 июня 2015
  • • 2013 Секвенциальная аксиоматизация логики I<alpha,beta>
    • Автор: Попов В.М.
    • Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года, г.Москва, МГУ имени М.В. Ломоносова, Россия, 19-21 июня 2013
  • • 2012 On sublogics in Vasiliev fragment of the logic definable with A. Arruda’s calculus V1
    • Авторы: Шангин В.О., Попов В.М.
    • Логическое наследие Н.А. Васильева и современная логика, МГУ им. М.В. Ломоносова, Москва, Россия, Россия, 2012
  • • 2011 Об отсутствии интерполяционного свойства у логик I3,w, I3,1 и всех логик между ними
    • Автор: Попов В.М.
    • Седьмые Смирновские чтения по логике. Международная научная конференция. 22-24 июня 2011 года, Москва, Россия, 23 июня 2011
  • • 2010 Семантическая характеризация паранепротиворечивых логик I1,1, I1,2, I1,3
    • Автор: Попов В.М.
    • XI Международная конференция "Современная логика: проблемы теории и истории", Санкт-Петербург, Россия, 2010
  • • 2009 Между Par и множеством всех формул
    • Автор: Попов В.М.
    • Шестые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2009 года, Москва, Россия, 2009

• Тезисы докладов

  • • 2019 Замечание о трехзначных логических матрицах с одним выделенным значением, адекватных импликативно-негативным логикам
    • Попов В.М.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 39-41
  • • 2017 К проблеме табличности фрагментов логики I <ω,ω>
    • Попов В.М.
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 36-37
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
  • • 2015 Об одной проблеме, поставленной В.А. Смирновым
    • Попов В.М.
    • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 30-32
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2014 К вопросу изучения межлогических связей в спецкурсах по неклассической логике
    • Попов В.М.
    • в сборнике Проблемы преподавания логики и перспективы ее развития.VI Международная научно-практическая конференция. Материалы докладов и выступлений, место издания Издательский центр Киевского национального университета им. Тараса Шевченко Киев, Украина, тезисы, с. 95-97
  • • 2013 Паралогичность I0,ω - логик
    • Попов В.М.
    • в сборнике Днi науки фiлософского факультету-2013. Miжн. Наук. Конф (2013; Киiв), место издания Издательство Киевского национального университета Киев, том 3, тезисы, с. 74-75
  • • 2013 Секвенциальная аксиоматизация логики I<alpha,beta>
    • Попов В.М.
    • в сборнике Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 27-29
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2012 К вопросу об использовании двоичной семантики в преподавании неклассических логик
    • Попов В.М.
    • в сборнике Проблеми викладання логiки та дисциплiн логiчного циклу: V мiжнародна науково-практична конференцiя (3-4 травня 2012 року): Матерiали доповiдей та виступiв, место издания Видавничо-полiграфiчний центр “Киïвський унiверситет” Киев, тезисы, с. 144-145
  • • 2011 In the vicinity of Sette logic
    • Popov V.M.
    • в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy 2011), серия ICLMPS, место издания Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science Nancy, тезисы, с. 56-56
  • • 2011 Об отсутствии интерполяционного свойства у логик I3,ω, I3,1 и всех логик между ними
    • Попов В.М.
    • в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 29-31
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2011 Об отсутствии интерполяционного свойства у логики PContPComp
    • Знаменская Н.А., Попов В.М.
    • в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 19-21
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2010 О логиках, родственных логике, индуцированной исчислением V1 А. Арруда
    • Попов В.М.
    • в сборнике “Воображаемая логика” Н. А. Васильева и современные неклассические логики. Материалы Международной научной конференции (Казань, 11 – 15 октября 2010 г.), серия Труды Математического центра имени Н.И. Лобачевского, место издания Казан. мат. об-во Казань, том 41, тезисы, с. 91-94
  • • 2010 О разъяснении природы истинностных значений в процессе преподавания многозначных логик
    • Попов В.М.
    • в сборнике Проблемы викладання логiки та дисциплiн логiчного циклу. IV Мiжнародна наукова-практична конференцiя (13-14 травня 2010 року). Матерiали доповiдей i виступив, место издания ВПЦ " Киiвський унiверситет" Киев, тезисы, с. 36-38
  • • 2010 Семантическая характеризация паранепротиворечивых логик I1,1, I1,2, I1,3
    • Попов В.М.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции, 24-26 июня 2010 г, серия Современная логика, место издания Издательство СПБГУ Спб, тезисы, с. 366-368
  • • 2010 Семантическая характеризация параполных логик I2,1, I2,2, I2,3,
    • Попов В.М.
    • в сборнике Логика. Методология. Науковедение. Актуальные проблемы и перспективы, место издания Издательство Южного федерального университета Ростов-на Дону, тезисы, с. 114-116
  • • 2009 Между Par и множеством всех формул
    • Попов В.М.
    • в сборнике Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 93-95
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
  • • 2009 Паранормальная логика PContPComp как пересечение паранепротиворечивой логики PCont и параполной логики PComp
    • Знаменская Н.А., Попов В.М.
    • в сборнике Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 63-65
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
  • • 2007 Интервалы простых паралогик
    • Попов В.М.
    • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 35-37
  • • 2006 Две последовательности простых паранормальных логик
    • Попов В.М.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции, 22-24 июня 2006 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 382-385
  • • 2005 Девятизначная характеризация логики I3
    • Попов В.М.
    • в сборнике Философия и будущее цивилизации: Тезисы докладов и выступлений IV Российского философского конгресса: В 5 т, место издания Современные тетради М, том 1, тезисы, с. 547-548
  • • 2004 Интуиционистски приемлемая паранепротиворечивая логика
    • Попов В.М., Шуклин Г.Н.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции, 24-26 июня 2004 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 529-532
  • • 2003 Об одной паранормальной логике
    • Попов В.М.
    • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 46-49
  • • 2002 Об одной трехзначной паранепротиворечивой логике
    • Попов В.М.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции, 20-22 июня 2002 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 493-496
  • • 2001 Об одной параполной логике
    • Попов В.М.
    • в сборнике Третьи Смирновские чтения по логике. Материалы международной научной конференции. 24-27 мая 2001 года, серия Смирновские чтения по логике, место издания М, тезисы, с. 60-62
  • • 2000 Секвенциальное представление классической, квазиминимальной и абсолютной логик, сформулированных в языке с константой f ("ложь")
    • Попов В.М.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции, 22-24 июня 2000 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 245-247
  • • 1999 Формулировки с константой f и без нее абсолютной и сильной систем В.А.Смирнова
    • Попов В.М.
    • в сборнике Вторые Смирновские чтения по логике. Материалы международной научной конференции. 18-20 мая 1999 года, серия Смирновские чтения по логике, место издания М, тезисы, с. 64-66
  • • 1998 Логики, родственные системе V1 А.Арруда: семантика описаний состояния и генценовские формулировки
    • Попов В.М.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы V Общероссийской научной конференции, 18-20 июня 1998 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 279-282
  • • 1997 О системах RA и RAO В.А.Смирнова
    • Попов В.М.
    • в сборнике Первые Смирновские чтения по логике. Материалы международной научной конференции. 18-20 марта 1997 года, серия Смирновские чтения по логике, место издания Институт философии РАН Москва, тезисы, с. 24-24
  • • 1997 Расширение системы С2 В.А.Смирнова и полурешетка с нулем
    • Попов В.М.
    • в сборнике Международная конференция "Развитие логики в России: итоги и перспективы", место издания Логос Москва, тезисы, с. 41-42
    • редактор Ивлев Юрий Васильевич
  • • 1996 Введение инверсного отрицания в систему классической импликативной логики
    • Попов В.М.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы IV Общероссийской научной конференции, 19-21 июня 1996 г, серия Современная логика, место издания СПбГУ СПб, тезисы, с. 44-45
  • • 1995 Диадические семантики в силлогистике
    • Попов В.М., Хорохорин И.И.
    • в сборнике Логика, методология и философия науки. XI Международная конференция, место издания Москва-Обнинск, том 2, тезисы, с. 62-65
  • • 1986 Силлогистика и квазибулева алгебра
    • Попов В.М.
    • в сборнике Логика и системные методы анализа научного знания. Тезисы докладов к IX Всесоюзному совещанию по логике, методологии и философии науки. Харьков, 8-10.X.1986. Секции 1-5, место издания ВИНИТИ Москва, тезисы, с. 154-156
  • • 1986 Система И.С.Орлова и релевантная логика
    • Попов В.М.
    • в сборнике Философские проблемы истории логики и методологии науки. Часть I, место издания Институт философии АН СССР Москва, тезисы, с. 93-98
  • • 1985 Релевантные импликативные и релевантные импликативно-негативные логики как замкнутые множества существенных формул
    • Попов В.М.
    • в сборнике Интенсиональные логики и логическая структура теорий (Тезисы докладов IV Советско-финского коллоквиума по логике. Телави, май 20-24, 1985 г.), место издания Мецниереба Тбилиси, тезисы, с. 122-123
  • • 1982 О связи релевантной и классической импликаций
    • Попов В.М.
    • в сборнике Модальные и интенсиональные логики. Материалы к VIII Всесоюзной конференции «Логика и методология науки». Паланга, 26-28 сентября 1982 г., место издания Институт философии АН СССР Москва, тезисы, с. 82-84
  • • 1979 Аналитические формулировки и модели Крипке некоторых пропозициональных логик первопорядкового следования
    • Попов В.М.
    • в сборнике Релевантные логики и теория следования (Материалы II Советско-финского коллоквиума по логике. Москва, декабрь 3-7, 1979 г.), место издания Институт философии АН СССР Москва, тезисы, с. 90-94
  • • 1978 О разрешимости релевантной логики RAO
    • Попов В.М.
    • в сборнике Модальные и интенсиональные логики (Тезисы координационного совещания, Москва, июнь 5-7, 1978 г.), место издания Институт философии АН СССР Москва, тезисы, с. 115-119

• НИРы

  • • 1 января 2016 - 31 декабря 2018 Неклассические логики и их применение в философии и методологии науки
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Зайцев Д.В., Ивлев Ю.В., Ильин А.А., Петрухин Я.И., Попов В.М., Шангин В.О.
  • • 1 января 2015 - 31 декабря 2015 Неклассические логики и их применение в философии и методологии науки
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Зайцев Д.В., Ивлев Ю.В., Ильин А.А., Попов В.М., Шангин В.О.
  • • 1 января 2014 - 31 декабря 2014 Логические проблемы теоретической информатики
    • Философский факультет
    • Руководитель: Шангин В.О. Участник НИР: Попов В.М.
  • • 1 января 2014 - 31 декабря 2014 Неклассические логики и их применение в философии и методологии науки
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Григорьев О.М., Зайцев Д.В., Ивлев Ю.В., Попов В.М., Шангин В.О.

• Участие в редколлегии журналов

  • • с 1 января 2003 Логические исследования
    • издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва)
    • http://logicalinvestigations.ru

• Участие в программных комитетах конференций

  • • 24-26 июня 2021 Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года
    • Член программного комитета
    • Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия
  • • 17-19 июня 2015 Девятые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2015 года
    • Член программного комитета
    • Москва, Россия

• Руководство диссертациями

  • • 2005 Семантический анализ простых паранормальных логик
    • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
    • Автор: Баташев Д.В.
    • Научный руководитель: Попов В.М., к.ф.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 500.001.48 при МГУ имени М.В. Ломоносова
  • • 2003 Теория и практика формальных переводов
    • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
    • Автор: Карпенко И.А.
    • Научный руководитель: Попов В.М., к.ф.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова

• Руководство дипломными работами

  • • 2013 Аналоги теоремы Гливенко в паранепротиворечивой и параполной логиках
    • Научный руководитель: Попов В.М.
    • Автор: Родин Д.В. (Специалист)
  • • 2010 Теорема об устранимости сечения для секвенциального исчисления, аксиоматизирующего пересечение паранепротиворечивой логики Розоноэра с ее параполным напарником
    • Научный руководитель: Попов В.М.
    • Автор: Знаменская Н.А. (Специалист)
  • • 2010 Синтаксическое доказательство эквиполентности секвенциального и аналитико-табличного исчислений, аксиоматизирующих классическую пропозициональную логику
    • Научный руководитель: Попов В.М.
    • Автор: Солощенков А.А. (Специалист)

• Авторство учебных курсов

  • • 2016 Паранепротиворечивые и параполные логики
    • Автор: Попов В.М.
  • • 2015 Разрешающие методы в логических системах
    • Автор: Попов Владимир Михайлович
  • • 2015 Методы анализа рассуждений в логике предикатов
    • Автор: Попов Владимир Михайлович
  • • 2013 Логика и исчисление предикатов
    • Автор: Попов В.М.
  • • 2012 Логика и исчисление высказываний
    • Автор: Попов В.М.

• Преподавание учебных курсов

  • • 9 февраля 2016 - 25 мая 2021 Паранепротиворечивые и параполные логики
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 октября 2015 - 25 декабря 2020 Разрешающие методы в логических системах
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 октября 2015 - 17 декабря 2015 Методы анализа рассуждений в логике предикатов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • факультативная, лекции, 54 часов
  • • 3 сентября 2015 - 18 декабря 2020 Логика и исчисление предикатов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 72 часов
  • • 10 февраля 2015 - 21 мая 2021 Логика и исчисление высказываний
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 72 часов
  • • 2 сентября 2014 - 23 декабря 2014 Логика. III. Неклассическая логика и логика научного познания
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 3 сентября 2013 - 15 декабря 2014 Логика и исчисление предикатов
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 72 часов
  • • 5 февраля 2013 - 23 мая 2014 Логика и исчисление высказываний
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 64 часов
  • • 3 сентября 2012 - 18 декабря 2012 Логика. I. Логика, язык и мышление
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов