國立高雄大學圖資館 |

登入

回首頁

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	V.A. Yankov on non-classical logics, history and philosophy of mathematicsedited by Alex Citkin, Ioannis M. Vandoulakis.
其他作者:	Citkin, Alex.
出版者:	Cham :Springer International Publishing :2022.
面頁冊數:	xi, 313 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Proposition (Logic)
電子資源:	https://doi.org/10.1007/978-3-031-06843-0
ISBN:	9783031068430$q(electronic bk.)

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.3..

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$q(electronic bk.)

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

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

270987
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 633497
003 DE-He213
005 20221108105421.0
006 m d
007 cr nn 008maaau
008 230511s2022 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 939438
650 0 $a Proposition (Logic) $3 270987
650 0 $a Mathematics $x Philosophy. $3 187658
700 1 $a Citkin, Alex. $3 939439
700 1 $a Vandoulakis, Ioannis M. $3 939440
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Outstanding contributions to logic ; $v v.3. $3 678078
856 4 0 $u https://doi.org/10.1007/978-3-031-06843-0
950 $a Mathematics and Statistics (SpringerNature-11649)