The logics of individual Medvedev frames

DOI10.1093/JIGPAL/JZAF064MaRDI QIDQ6922535zbMATH OpenFDO

Authors Zhicheng Chen, Yifeng Ding

Publication date 30 September 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAF064

zbMATH Keywords

\(n\)-Medvedev's logicaxiomatizationcharacterizationMedvedev frame

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites work

• A Generalization of Maksimova’s Criterion for the Disjunction Property
• Derivation rules as anti-axioms in modal logic
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 3683552 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 3448545 (Why is no real title available?)
• scientific article; zbMATH DE number 3304938 (Why is no real title available?)
• scientific article; zbMATH DE number 3307485 (Why is no real title available?)
• scientific article; zbMATH DE number 7668110 (Why is no real title available?)
• Medvedev's logic and products of converse well orders
• On maximal intermediate logics with the disjunction property
• On the modal logic of subset and superset: tense logic over Medvedev frames
• On two problems of Harvey Friedman
• The decidability of the Kreisel-Putnam system
• Zur Deutung der intuitionistischen Logik.

This page was built for publication: The logics of individual Medvedev frames

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