↓ Skip to main content
What is this page? Embed badge

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

Overview of attention for book
Cover of 'V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Short Autobiography
  3. Altmetric Badge
    Chapter 2 V. Yankov’s Contributions to Propositional Logic
  4. Altmetric Badge
    Chapter 3 Dialogues and Proofs; Yankov’s Contribution to Proof Theory
  5. Altmetric Badge
    Chapter 4 Jankov Formulas and Axiomatization Techniques for Intermediate Logics
  6. Altmetric Badge
    Chapter 5 Yankov Characteristic Formulas (An Algebraic Account)
  7. Altmetric Badge
    Chapter 6 The Invariance Modality
  8. Altmetric Badge
    Chapter 7 The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
  9. Altmetric Badge
    Chapter 8 An Application of the Yankov Characteristic Formulas
  10. Altmetric Badge
    Chapter 9 A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
  11. Altmetric Badge
    Chapter 10 On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
  12. Altmetric Badge
    Chapter 11 On V.A. Yankov’s Existential Interpretation of the Early Greek Philosophy. The Case of Heraclitus
  13. Altmetric Badge
    Chapter 12 On V.A. Yankov’s Hypothesis of the Rise of Greek Mathematics
Attention for Chapter 3: Dialogues and Proofs; Yankov’s Contribution to Proof Theory
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Dialogues and Proofs; Yankov’s Contribution to Proof Theory
Chapter number 3
Book title
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-06843-0_3
Book ISBNs
978-3-03-106842-3, 978-3-03-106843-0
Authors

Indrzejczak, Andrzej

View on publisher site

This page is provided by Altmetric.