- ホーム
- > 洋書
- > ドイツ書
- > Humanities, Arts & Music
- > Philosophy
- > general surveys & lexicons
Full Description
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.
Contents
Introduction.- Chapter 1 will contain expositions showing how the ideas introduced by A V Kuznetsov were developed in the following areas Intermediate logics Proof logics Functionally closed classes Calculi of functional expressability Recursive functions.- Chapter 2 will contain the papers with original results in propositional modal and algebraic logic.
