{"product_id":"va-yankov-on-nonclassical-logics-history-and-philosophy-of-mathematics-9783031068423","title":"V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eThis 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. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 313 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 09 November 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis 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.\u003cbr\u003e\u003cbr\u003eThe 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.\u003cbr\u003e\u003cbr\u003eFurthermore, 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.\u003cbr\u003e\u003cbr\u003eThis 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.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 658g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031068423\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2022\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Hardback","offer_id":45195565990138,"sku":"9783031068423","price":99.95,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1708098772153_book.jpg?v=1708111768","url":"https:\/\/shulphink.com\/products\/va-yankov-on-nonclassical-logics-history-and-philosophy-of-mathematics-9783031068423","provider":"Shulph Ink","version":"1.0","type":"link"}