The following pages link to Aleksandr Sergeevich Gerasimov (Q2212725):
Displaying 5 items.
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Free-variable semantic tableaux for the logic of fuzzy inequalities (Q2364294) (← links)
- Erratum to: ``Free-variable semantic tableaux for the logic of fuzzy inequalities'' (Q2364329) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
