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

Springer, Outstanding Contributions To Logic (volume 24) (2022)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics.Vandoulakis Ioannis & Alex Citkin (eds.) - 2022 - Springer. Outstanding Contributions to Logic (Volume 24).
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics.Ioannis M. Vandoulakis - 2022 - In Alex Citkin & Ioannis M. Vandoulakis (eds.), V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. Springer, Outstanding Contributions To Logic (volume 24). pp. 247-270.
On V.A. Yankov’s Hypothesis of the Rise of Greek Mathematics.Ioannis M. Vandoulakis - 2022 - In Alex Citkin & Ioannis M. Vandoulakis (eds.), V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. Springer, Outstanding Contributions To Logic (volume 24). pp. 295-310.
The classicality of classical Mathematics.Luis Estrada-González - 2017 - Journal of the Indian Council of Philosophical Research 34 (2):365-377.
Alternative Logics and Applied Mathematics.Timothy Williamson - 2018 - Philosophical Issues 28 (1):399-424.
Mathematics and Logics Hungarian Traditions and the Philosophy of Non-Classical Logic.Katalin G. Havas - 1997 - In Evandro Agazzi & György Darvas (eds.), Philosophy of Mathematics Today. Kluwer Academic Publishers. pp. 337--351.
Introduction.Alexei Angelides - 2004 - Graduate Faculty Philosophy Journal 25 (2):5-16.
Introduction.Alexei Angelides - 2004 - Graduate Faculty Philosophy Journal 25 (2):5-16.
Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic.Christoph Benzmüller - 2011 - Annals of Mathematics and Artificial Intelligence) 62 (1-2):103-128.
Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.

Analytics

Added to PP
2023-05-23

Downloads
12 (#1,109,823)

6 months
9 (#352,506)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ioannis Vandoulakis
Open University of Cyprus

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references