東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

V.A. Yankov on non-classical logics,...

Citkin, Alex.

Linked to FindBook

Google Book

Amazon

博客來

V.A. Yankov on non-classical logics, history and philosophy of mathematics

Record Type:	Electronic resources : Monograph/item
Title/Author:	V.A. Yankov on non-classical logics, history and philosophy of mathematics/ edited by Alex Citkin, Ioannis M. Vandoulakis.
other author:	Citkin, Alex.
Published:	Cham :Springer International Publishing : : 2022.,
Description:	xi, 313 p. :ill., digital ;24 cm.
[NT 15003449]:	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)
Contained By:	Springer Nature eBook
Subject:	Proposition (Logic) -
Online resource:	https://doi.org/10.1007/978-3-031-06843-0
ISBN:	9783031068430

V.A. Yankov on non-classical logics, history and philosophy of mathematics
V.A. Yankov on non-classical logics, history and philosophy of mathematics[electronic resource] /edited by Alex Citkin, Ioannis M. Vandoulakis. - Cham :Springer International Publishing :2022. - xi, 313 p. :ill., digital ;24 cm. - Outstanding contributions to logic,v. 242211-2766 ;. - Outstanding contributions to logic ;v. 24..

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)

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.

ISBN: 9783031068430

Standard No.: 10.1007/978-3-031-06843-0doiSubjects--Personal Names:

3609215
IAnkov, V. A.
Subjects--Topical Terms:

844296
Proposition (Logic)

LC Class. No.: QA9

Dewey Class. No.: 510.92

V.A. Yankov on non-classical logics, history and philosophy of mathematics
LDR:03672nmm a2200361 a 4500 001 2305784
003 DE-He213
005 20221108105421.0
006 m d
007 cr nn 008maaau
008 230409s2022 sz s 0 eng d
020 $a 9783031068430 $q (electronic bk.)
020 $a 9783031068423 $q (paper)
024 7 $a 10.1007/978-3-031-06843-0 $2 doi
035 $a 978-3-031-06843-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9
072 7 $a PBCD $2 bicssc
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBCD $2 thema
072 7 $a PBC $2 thema
082 0 4 $a 510.92 $2 23
090 $a QA9 $b .V111 2022
245 0 0 $a V.A. Yankov on non-classical logics, history and philosophy of mathematics $h [electronic resource] / $c edited by Alex Citkin, Ioannis M. Vandoulakis.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xi, 313 p. : $b ill., digital ; $c 24 cm.
490 1 $a Outstanding contributions to logic, $x 2211-2766 ; $v v. 24
505 0 $a 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)
520 $a 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.
600 1 0 $a IAnkov, V. A. $q (Vadim Anatolevich) $3 3609215
650 0 $a Proposition (Logic) $3 844296
650 0 $a Mathematics $x Philosophy. $3 523930
700 1 $a Citkin, Alex. $3 3609216
700 1 $a Vandoulakis, Ioannis M. $3 3609217
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Outstanding contributions to logic ; $v v. 24. $3 3609218
856 4 0 $u https://doi.org/10.1007/978-3-031-06843-0
950 $a Mathematics and Statistics (SpringerNature-11649)