V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
portes grátis
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Vandoulakis, Ioannis M.; Citkin, Alex
Springer International Publishing AG
11/2022
313
Dura
Inglês
9783031068423
15 a 20 dias
Descrição não disponível.
Chapter 1. Short autobiography (Vadim A. Yankov), Part I: Non-classical logics.- Chapter 2. V. Yankov's contributions to propositional Logic (Alex Citkin).- Chapter 3. Dialogues and proofs; Yankov's contribution to proof theory (Andrzej Indrzejczak).- Chapter 4. Jankov formulas and axiomatization techniques for intermediate logics (Guram Bezhanishvili, Nick Bezhanishvili).- Chapter 5. Yankov Characteristic formulas (an algebraic account) (Alex Citkin).- Chapter 6. The invariance modality (Silvio Ghilardi).- Chapter 7. The Lattice NExtS41 as composed of replicas of NExtInt, and beyond (Alexei Muravitsky).- Chapter 8. An Application of the Yankov characteristic formulas (Valery Plisko).- Chapter 9. A note on disjunction and existence properties in predicate extensions of intuitionistic logic - An application of Jankov formulas to predicate logics (Nobu-Yuki Suzuki).- Part II: History and philosophy of mathematics.- Chapter 10. On V.A. Yankov's contribution to the history of foundations of mathematics (Ioannis M. Vandoulakis).- Chapter 11. On V.A. Yankov's existential interpretation of the early Greek philosophy. The case of Heraclitus (Tatiana Yu. Denisova).- Chapter 12. On V.A. Yankov's hypothesis of the rise of Greek mathematics (Ioannis M. Vandoulakis).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Jankov Formula In Propositional Logic;Jankov Formula In Modal Logic;Characteristic Formula;Frame and Subframe Formula;Splitting Algebra;Modal Canonical Formulas;Pretabular Intermediate Logics;Markov's Constructivism;Intuitionistic Logic;Ultra-intuitionism;Greek Philosophy and Mathematics.;Yankov Formulas for Heyting Algebras;Yankov Characteristic Formulas;Invariance Modality;Constructive Proofs based on Dialogical Interpretatio;Lattice NExtS4 as a Puzzle Composed of NExtInt-Pieces;adding Constants to FDE-based Logics;Canonical Models and Yankov Formulas;Lattice of Superintuitionistic Propositional Logics
Chapter 1. Short autobiography (Vadim A. Yankov), Part I: Non-classical logics.- Chapter 2. V. Yankov's contributions to propositional Logic (Alex Citkin).- Chapter 3. Dialogues and proofs; Yankov's contribution to proof theory (Andrzej Indrzejczak).- Chapter 4. Jankov formulas and axiomatization techniques for intermediate logics (Guram Bezhanishvili, Nick Bezhanishvili).- Chapter 5. Yankov Characteristic formulas (an algebraic account) (Alex Citkin).- Chapter 6. The invariance modality (Silvio Ghilardi).- Chapter 7. The Lattice NExtS41 as composed of replicas of NExtInt, and beyond (Alexei Muravitsky).- Chapter 8. An Application of the Yankov characteristic formulas (Valery Plisko).- Chapter 9. A note on disjunction and existence properties in predicate extensions of intuitionistic logic - An application of Jankov formulas to predicate logics (Nobu-Yuki Suzuki).- Part II: History and philosophy of mathematics.- Chapter 10. On V.A. Yankov's contribution to the history of foundations of mathematics (Ioannis M. Vandoulakis).- Chapter 11. On V.A. Yankov's existential interpretation of the early Greek philosophy. The case of Heraclitus (Tatiana Yu. Denisova).- Chapter 12. On V.A. Yankov's hypothesis of the rise of Greek mathematics (Ioannis M. Vandoulakis).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Jankov Formula In Propositional Logic;Jankov Formula In Modal Logic;Characteristic Formula;Frame and Subframe Formula;Splitting Algebra;Modal Canonical Formulas;Pretabular Intermediate Logics;Markov's Constructivism;Intuitionistic Logic;Ultra-intuitionism;Greek Philosophy and Mathematics.;Yankov Formulas for Heyting Algebras;Yankov Characteristic Formulas;Invariance Modality;Constructive Proofs based on Dialogical Interpretatio;Lattice NExtS4 as a Puzzle Composed of NExtInt-Pieces;adding Constants to FDE-based Logics;Canonical Models and Yankov Formulas;Lattice of Superintuitionistic Propositional Logics
