|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
| 1. |
A. S. Gerasimov, “Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic”, Сиб. электрон. матем. изв., 17 (2020), 1869–1899   |
1
|
|
2017 |
| 2. |
А. С. Герасимов, “Бесконечнозначная логика Лукасевича первого порядка: гиперсеквенциальные исчисления без структурных правил и поиск вывода предварённых предложений”, Матем. тр., 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
|
|
2016 |
| 3. |
А. С. Герасимов, “Семантические таблицы с метапеременными для логики нечётких неравенств”, Алгебра и логика, 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
|
|
Обратная связь: