Aleksandr Sergeevich Gerasimov

Available identifiers

zbMath Open gerasimov.aleksandr-sergeevichMaRDI QIDQ2212725

List of research outcomes

Publication	Date of Publication	Type
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic	2023-07-03	Paper
Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic	2020-11-24	Paper
Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form	2018-11-21	Paper
Erratum to: ``Free-variable semantic tableaux for the logic of fuzzy inequalities	2017-07-18	Paper
Free-variable semantic tableaux for the logic of fuzzy inequalities	2017-07-18	Paper

Research outcomes over time

This page was built for person: Aleksandr Sergeevich Gerasimov