Kuznetsov, who was born in 1926 and whose achievements laid new paths for the development of many branches of non-classical logic in the 1950s-1980s, influencing many researchers in the field to this day. second - some lesser-known results of Kuznetsov are brought to the broader English-reading audience, not only experts in the field.