2015•arXiv (Cornell University)Open access
On the number of variables in undecidable superintuitionistic\n propositional calculi
Grigoriy V. Bokov
Open full text 0 citations
Abstract
In this paper, we construct an undecidable 3-variable superintuitionistic\npropositional calculus, i.e., a finitely axiomatizable extension of the\nintuitionistic propositional calculus with axioms containing only 3 variables.\nSince there are no 2-variable superintuitionistic propositional calculi, this\nis the minimal possible number of variables.\n
Open-access reader