The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics
Buch in deiner Nähe kaufen
Beschreibung
This book is dedicated to the 100th anniversary of the birth of A. V. 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. Kuznetsov's formal education lasted only until the sixth grade of school, so he can be considered self-taught; however, he became one of the most prominent figures in the field of mathematical logic in the former USSR. While obtaining new results in various areas of mathematical logic, sometimes unrelated to each other, as well as in the related areas of universal algebra, he used to be quite careless about their publication. The approach taken in this book is threefold. it places Kuznetsov's well-known results in a historical perspective; second - some lesser-known results of Kuznetsov are brought to the broader English-reading audience, not only experts in the field. Third, new results that clearly bear the influence of Kuznetsov are presented.
This book is dedicated to the 100th anniversary of the birth of A. V. 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. Kuznetsov's formal education lasted only until the sixth grade of school, so he can be considered self-taught; however, he became one of the most prominent figures in the field of mathematical logic in the former USSR. While obtaining new results in various areas of mathematical logic, sometimes unrelated to each other, as well as in the related areas of universal algebra, he used to be quite careless about their publication. The approach taken in this book is threefold. it places Kuznetsov's well-known results in a historical perspective; second - some lesser-known results of Kuznetsov are brought to the broader English-reading audience, not only experts in the field. Third, new results that clearly bear the influence of Kuznetsov are presented.
Shows the current state of propositional and modal logics in variouse areas Maps the history of the development of ideas and techniques in propositional and modal logics Includes proofs of results of A.V. Kuznetsov which were unpublished, or only available in Russian
Autor*in
Alex Citkin
Themen in »The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics«
intermediate logics modal logics general theory of propositional calculi proof logics functional expressibility Heyting algebras and their classes Modal algebras and their classes Recursive function and algorithms