Concepedia

Yaroslav Petrukhin

YP

Statistics

Publications

9

Citations

117

H-Index

9

Active since

2016

Affiliations

Lomonosov Moscow State University(Current)

Moscow State University

University of Łódź

Yaroslav Petrukhin is an author at Lomonosov Moscow State University specializing in computer science, mathematics, and logic.

ORCID

Publications per year

2016–2021

9

Publications

9

Natural Deduction for Three-Valued Regular Logics

Yaroslav Petrukhin · Logic and Logical Philosophy · 2016 · 19 citations · Full text

, , +10

Generalized Correspondence Analysis for Three-Valued Logics

Yaroslav Petrukhin · Logica Universalis · 2018 · 18 citations

, , +11

Natural Deduction for Four-Valued both Regular and Monotonic Logics

Yaroslav Petrukhin · Logic and Logical Philosophy · 2017 · 13 citations · Full text

, , +12

Normalisation for Some Quite Interesting Many-Valued Logics

Nils Kürbis, Yaroslav Petrukhin · Logic and Logical Philosophy · 2021 · 13 citations · Full text

, , +10

Correspondence analysis and automated proof-searching for first degree entailment

Yaroslav Petrukhin, Vasilyi Shangin · European Journal of Mathematics · 2019 · 12 citations

, , +12

1–5 of 9