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
Free-variable semantic tableaux for the logic of fuzzy inequalities	2017-07-18	Paper
Erratum to: ``Free-variable semantic tableaux for the logic of fuzzy inequalities	2017-07-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aleksandr Sergeevich Gerasimov