On the number of variables in undecidable superintuitionistic propositional calculi

DOI10.1093/JIGPAL/JZW018zbMath1405.03025arXiv1504.03358OpenAlexW2283591084MaRDI QIDQ4644570

G. V. Bokov

Publication date: 8 January 2019

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

Full work available at URL: https://arxiv.org/abs/1504.03358

zbMATH Keywords

Minsky machinesuperintuitionistic propositional calculusundecidable calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: On the number of variables in undecidable superintuitionistic propositional calculi