16 followers
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Short Autobiography
-
Altmetric BadgeChapter 2 V. Yankov’s Contributions to Propositional Logic
-
Altmetric BadgeChapter 3 Dialogues and Proofs; Yankov’s Contribution to Proof Theory
-
Altmetric BadgeChapter 4 Jankov Formulas and Axiomatization Techniques for Intermediate Logics
-
Altmetric BadgeChapter 5 Yankov Characteristic Formulas (An Algebraic Account)
-
Altmetric BadgeChapter 6 The Invariance Modality
-
Altmetric BadgeChapter 7 The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
-
Altmetric BadgeChapter 8 An Application of the Yankov Characteristic Formulas
-
Altmetric BadgeChapter 9 A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
-
Altmetric BadgeChapter 10 On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
-
Altmetric BadgeChapter 11 On V.A. Yankov’s Existential Interpretation of the Early Greek Philosophy. The Case of Heraclitus
-
Altmetric BadgeChapter 12 On V.A. Yankov’s Hypothesis of the Rise of Greek Mathematics