|
|
Список публикаций:
|
|
Цитирования (Crossref Cited-By Service + Math-Net.Ru) |
|
|
Статьи
|
|
| |
| 1. |
А. С. Герасимов, “Депренексификация в аналитических исчислениях для первопорядковой рациональной логики Павелки”, Матем. сб. (в печати)  |
| 2. |
A. S. Gerasimov, “Comparing Calculi for First-Order Infinite-Valued Lukasiewicz Logic and First-Order Rational Pavelka Logic”, Logic and Logical Philosophy, 32:2 (2022), 269–318    |
| 3. |
A. S. Gerasimov, “Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic”, Сиб. электрон. матем. изв., 17 (2020), 1869–1899
|
1
[x]
|
| 4. |
А. С. Герасимов, “Бесконечнозначная логика Лукасевича первого порядка: гиперсеквенциальные исчисления без структурных правил и поиск вывода предварённых предложений”, Матем. тр., 20:2 (2017), 3–34  ; 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 
|
1
[x]
|
| 5. |
А. С. Герасимов, “Семантические таблицы с метапеременными для логики нечётких неравенств”, Алгебра и логика, 55:2 (2016), 156–191 ; A. S. Gerasimov, “Free-variable semantic tableaux for the logic of fuzzy inequalities”, Algebra and Logic, 55:2 (2016), 103–127
|
2
[x]
|
Научно-популярные и образовательные материалы
|
|
| |
| 6. |
А. С. Герасимов, Курс математической логики и теории вычислимости: Учебное пособие, 4-е изд., перераб. и доп., издательство Лань, СПб, 2014 , 416 с. |
|
