An Application of the Yankov Characteristic Formulas

DOI10.1007/978-3-031-06843-0_8MaRDI QIDQ5886461zbMATH OpenOpenAlexFDO

Authors

Publication date 5 April 2023

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_8

zbMATH Keywords

characteristic formulasfinite problemsintuitionistic logicMedvedev logicrecursive realizability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx) Other algebras related to logic (03G25)

Recommendations

• V. A. Yankov on non-classical logics, history and philosophy of mathematics
• V. Yankov’s Contributions to Propositional Logic
• Yankov Characteristic Formulas (An Algebraic Account)
• On two attempts of describing propositional realizability logic
• Dialogues and Proofs; Yankov’s Contribution to Proof Theory

Cites work

• A Survey of Propositional Realizability Logic
• scientific article; zbMATH DE number 3685452 (Why is no real title available?)
• scientific article; zbMATH DE number 3461901 (Why is no real title available?)
• scientific article; zbMATH DE number 3639589 (Why is no real title available?)
• scientific article; zbMATH DE number 3448545 (Why is no real title available?)
• scientific article; zbMATH DE number 3231074 (Why is no real title available?)
• scientific article; zbMATH DE number 3231075 (Why is no real title available?)
• scientific article; zbMATH DE number 3304938 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• On the interpretation of intuitionistic number theory
• Propositional Calculus and Realizability
• Recursive Functions and Intuitionistic Number Theory

Cited in

(6)

• scientific article; zbMATH DE number 5184555 (Why is no real title available?)
• scientific article; zbMATH DE number 1159840 (Why is no real title available?)
• scientific article; zbMATH DE number 1408280 (Why is no real title available?)
• V. Yankov’s Contributions to Propositional Logic
• Dialogues and Proofs; Yankov’s Contribution to Proof Theory
• Yankov Characteristic Formulas (An Algebraic Account)

This page was built for publication: An Application of the Yankov Characteristic Formulas

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