Alex Citkin - Böcker
Visar alla böcker från författaren Alex Citkin. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
1 281 kr
Skickas inom 5-8 vardagar
The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki's Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, fills this niche. Citkin and Muravitsky consider the problem of obtaining confirmation that a statement is a consequence of a set of statements as prerequisites, on the one hand, and the problem of demonstrating that such confirmation does not exist in the structure under consideration, on the other hand. For the second part of this problem, the concept of the Lindenbaum-Tarski algebra plays a key role, which becomes even more important when the considered consequence relation is placed in the context of decidability. This role is traced in the book for various formal objective languages. The work also includes helpful exercises to aid the reader's assimilation of the book's material. Intended for advanced undergraduate and graduate students in mathematics and philosophy, this book can be used to teach special courses in logic with an emphasis on algebraic methods, for self-study, and also as a reference work.
246 kr
Skickas inom 5-8 vardagar
394 kr
Skickas inom 5-8 vardagar
1 479 kr
Skickas inom 10-15 vardagar
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic.The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov’s results and their applications in algebraic logic, the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics.The book also contains an exposition of Yankov’s revolutionary approach to constructive proof theory. The editors also include Yankov’s contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics.
1 479 kr
Skickas inom 10-15 vardagar
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic.The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov’s results and their applications in algebraic logic, the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics.The book also contains an exposition of Yankov’s revolutionary approach to constructive proof theory. The editors also include Yankov’s contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics.
Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics
Inbunden, Engelska, 2026
2 079 kr
Kommande
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.