V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

This book is dedicated to V.A. Yankovs seminal contributions to the theory of propositional logics, which have become a useful tool in various areas of logic. It includes new results on generalizations and applications of characteristic formulas, as well as an exposition of Yankovs revolutionary approach to constructive proof theory. It also contains contributions to history and philosophy of mathematics and foundations of mathematics.

Format: Hardback
Length: 313 pages
Publication date: 09 November 2022
Publisher: Springer International Publishing AG

This book is a tribute to the groundbreaking contributions of V.A. Yankov to the field of propositional logic. Yankov's influential papers, published in the 1960s, continue to be highly cited even today. His characteristic formulas have become an invaluable tool in various branches of logic, including propositional, modal, and algebraic logic.

The papers presented in this book offer fresh insights into diverse generalizations and applications of characteristic formulas in propositional, modal, and algebraic logics. In particular, the book includes an exposition of Yankov's results and their applications in algebraic logic, the theory of admissible rules and refutation systems. Additionally, readers can explore studies on splitting and join-splitting in intermediate propositional logics, which are based on Yankov-type formulas and are closely related to canonical formulas. The book also delves into the study of properties of predicate extensions of non-classical propositional logics.

Furthermore, the book presents an exposition of Yankov's revolutionary approach to constructive proof theory. The editors have also included Yankov's contributions to the history and philosophy of mathematics, as well as an examination of his original interpretation of the history of Greek philosophy and mathematics.

This comprehensive volume serves as a valuable resource for scholars and researchers in logic, mathematics, and related fields. It pays homage to the enduring legacy of V.A. Yankov and his profound impact on the field of propositional logic.

Weight: 658g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031068423
Edition number: 1st ed. 2022