Герасимов Александр Сергеевич

Публикации в базе данных Math-Net.Ru

1. Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
   
   Сиб. электрон. матем. изв., 17 (2020),  1869–1899
2. Бесконечнозначная логика Лукасевича первого порядка: гиперсеквенциальные исчисления без структурных правил и поиск вывода предварённых предложений
   
   Матем. тр., 20:2 (2017),  3–34
3. Семантические таблицы с метапеременными для логики нечётких неравенств
   
   Алгебра и логика, 55:2 (2016),  156–191