An Application of the Yankov Characteristic Formulas

DOI10.1007/978-3-031-06843-0_8OpenAlexW4313156797MaRDI QIDQ5886461

No author found.

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

intuitionistic logicrecursive realizabilitycharacteristic formulasMedvedev logicfinite problems

Mathematics Subject Classification ID

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

Cites Work

• A Survey of Propositional Realizability Logic
• Recursive Functions and Intuitionistic Number Theory
• Propositional Calculus and Realizability
• On the interpretation of intuitionistic number theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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