V.A. Yankov on non-classical logics, history and philosophy of mathematics
- Publication/Creation:
- Cham : Springer, [2022]
- Resource Type:
- Book
More Details
Additional/Related Title Information
- Full Title:
- V.A. Yankov on non-classical logics, history and philosophy of mathematics / Alex Citkin, Ioannis Vandoulakis, editors
- Series Titles:
- Outstanding contributions to logic ; volume 24
Outstanding contributions to logic ; volume 24.
Related Names
- Additional Author/Creators:
- Citkin, Alex, editor
Vandoulakis, Ioannis, editor
Subjects/Genre
- Genre:
- Electronic books
- Subjects:
- I︠A︡nkov, V. A.(Vadim Anatolʹevich)
Proposition (Logic)
Mathematics--Philosophy
Description/Summary
- Table of Contents:
- Intro -- Preface -- Contents -- Contributors -- 1 Short Autobiography -- Complete Bibliography of Vadim Yankov -- Part I Non-Classical Logics -- 2 V. Yankov's Contributions to Propositional Logic -- 2.1 Introduction -- 2.2 Classes of Logics and Their Respective Algebraic Semantics -- 2.2.1 Calculi and Their Logics -- 2.2.2 Algebraic Semantics -- 2.2.3 Lattices sans serif upper D e d Subscript upper CDedC and sans serif upper L i n d Subscript left parenthesis upper C comma k right parenthesisLind(C,k) -- 2.3 Yankov's Characteristic Formulas -- 2.3.1 Formulas and Homomorphisms
2.3.2 Characteristic Formulas -- 2.3.3 Splitting -- 2.3.4 Quasiorder -- 2.4 Applications of Characteristic Formulas -- 2.4.1 Antichains -- 2.5 Extensions of upper CC-Logics -- 2.5.1 Properties of Algebras bold upper A Subscript iAi -- 2.5.2 Proofs of Lemmas -- 2.6 Calculus of the Weak Law of Excluded Middle -- 2.6.1 Semantics of sans serif upper K upper CKC -- 2.6.2 sans serif upper K upper CKC from the Splitting Standpoint -- 2.6.3 Proof of Theorem2.5 -- 2.7 Some Si-Calculi -- 2.8 Realizable Formulas -- 2.9 Some Properties of Positive Logic -- 2.9.1 Infinite Sequence of Independent Formulas
2.9.2 Strongly Descending Infinite Sequence of Formulas -- 2.9.3 Strongly Ascending Infinite Sequence of Formulas -- 2.10 Conclusions -- References -- 3 Dialogues and Proofs -- Yankov's Contribution to Proof Theory -- 3.1 Introduction -- 3.2 Consistency Proofs -- 3.3 Yankov's Approach -- 3.4 The Calculus -- 3.5 The Dialogue Method -- 3.6 Bar Induction -- 3.7 Proofs -- 3.8 Concluding Remarks -- References -- 4 Jankov Formulas and Axiomatization Techniques for Intermediate Logics -- 4.1 Introduction -- 4.2 Intermediate Logics and Their Semantics -- 4.2.1 Intermediate Logics
4.2.2 Heyting Algebras -- 4.2.3 Kripke Frames and Esakia Spaces -- 4.3 Jankov Formulas -- 4.3.1 Jankov Lemma -- 4.3.2 Splitting Theorem -- 4.3.3 Cardinality of the Lattice of Intermediate Logics -- 4.4 Canonical Formulas -- 4.4.1 Subframe Canonical Formulas -- 4.4.2 Negation-Free Subframe Canonical Formulas -- 4.4.3 Stable Canonical Formulas -- 4.5 Canonical Formulas Dually -- 4.5.1 Subframe Canonical Formulas Dually -- 4.5.2 Stable Canonical Formulas Dually -- 4.6 Subframe and Cofinal Subframe Formulas -- 4.7 Stable Formulas -- 4.7.1 Stable Formulas -- 4.7.2 Cofinal Stable Rules and Formulas
4.8 Subframization and Stabilization -- 4.8.1 Subframization -- 4.8.2 Stabilization -- References -- 5 Yankov Characteristic Formulas (An Algebraic Account) -- 5.1 Introduction -- 5.2 Background -- 5.2.1 Basic Definitions -- 5.2.2 Finitely Presentable Algebras -- 5.2.3 Splitting -- 5.3 Independent Sets of Splitting Identities -- 5.3.1 Quasi-order -- 5.3.2 Antichains -- 5.4 Independent Bases -- 5.4.1 Subvarieties Defined by Splitting Identities -- 5.4.2 Independent Bases in the Varieties Enjoying the Fsi-Spl Property -- 5.4.3 Finite Bases in the Varieties Enjoying the Fsi-Spl Property - Summary:
- This book is dedicated to V.A. Yankovs 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 Yankovs 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 Yankovs revolutionary approach to constructive proof theory. The editors also include Yankovs 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.
- Language:
- English
- Physical Type/Description:
- 1 online resource (xi, 313 pages) : illustrations
- General Note:
- Includes index.
- Local Note:
- Available to current Emory University students, faculty and staff.
Additional Identifiers
- Catalog ID (MMSID):
- 9937654796102486
- ISBN:
- 9783031068430
3031068432 - OCLC Number:
- 1350617448
- Other Identifiers:
- doi: 10.1007/978-3-031-06843-0
Tools
- Cite
- Export as RIS
-
Direct Link
Direct Link
Direct Link URL
- Staff View