RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Герасимов Александр Сергеевич

В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2
Лекций и докладов: 1

Статистика просмотров:
Эта страница:275
Страницы публикаций:189
Полные тексты:17
Списки литературы:31
E-mail:

http://www.mathnet.ru/rus/person121509
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2017
1. А. С. Герасимов, “Бесконечнозначная логика Лукасевича первого порядка: гиперсеквенциальные исчисления без структурных правил и поиск вывода предварённых предложений”, Матем. тр., 20:2 (2017),  3–34  mathnet  elib; A. S. Gerasimov, “Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form”, Siberian Adv. Math., 28:2 (2018), 79–100  scopus
2016
2. А. С. Герасимов, “Семантические таблицы с метапеременными для логики нечётких неравенств”, Алгебра и логика, 55:2 (2016),  156–191  mathnet; A. S. Gerasimov, “Free-variable semantic tableaux for the logic of fuzzy inequalities”, Algebra and Logic, 55:2 (2016), 103–127  isi  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка
А. С. Герасимов
Семинар отдела математической логики «Теория доказательств»
17 декабря 2018 г. 18:30   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019