List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic Logic and Logical Philosophy | 2023-07-03 | Paper |
| Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic Sibirskie Elektronnye Matematicheskie Izvestiya | 2020-11-24 | Paper |
| Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form Siberian Advances in Mathematics | 2018-11-21 | Paper |
| Erratum to: ``Free-variable semantic tableaux for the logic of fuzzy inequalities'' Algebra and Logic | 2017-07-18 | Paper |
| Free-variable semantic tableaux for the logic of fuzzy inequalities Algebra and Logic | 2017-07-18 | Paper |
Research outcomes over time
This page was built for person: Aleksandr Sergeevich Gerasimov
