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

DOI10.1007/978-3-031-06843-0MaRDI QIDQ2673441zbMATH OpenOpenAlexFDO

Authors

Publication date 9 June 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-06843-0

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Other algebras related to logic (03G25) General logic (03Bxx)

Recommendations

• Arnon Avron on semantics and proof theory of non-classical logics
• Larisa Maksimova on implication, interpolation, and definability
• The logical legacy of Nikolai Vasiliev and modern logic
• scientific article; zbMATH DE number 46073
• scientific article; zbMATH DE number 1206827

Cited in

(8)

• Yankov Characteristic Formulas (An Algebraic Account)
• scientific article; zbMATH DE number 7594128 (Why is no real title available?)
• V. Yankov’s Contributions to Propositional Logic
• An Application of the Yankov Characteristic Formulas
• Dialogues and Proofs; Yankov’s Contribution to Proof Theory
• On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
• On V.A. Yankov’s Existential Interpretation of the Early Greek Philosophy. The Case of Heraclitus
• Larisa Maksimova on implication, interpolation, and definability

This page was built for publication: V. A. Yankov on non-classical logics, history and philosophy of mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2673441)