Публикации в базе данных Math-Net.Ru |
|
2017 |
1. |
А. С. Герасимов, “Бесконечнозначная логика Лукасевича первого порядка: гиперсеквенциальные исчисления без структурных правил и поиск вывода предварённых предложений”, Матем. тр., 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 |
|
2016 |
2. |
А. С. Герасимов, “Семантические таблицы с метапеременными для логики нечётких неравенств”, Алгебра и логика, 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 |
|