On the number of variables in undecidable superintuitionistic propositional calculi
Logic
2015-11-09 v2
Abstract
In this paper, we construct an undecidable 3-variable superintuitionistic propositional calculus, i.e., a finitely axiomatizable extension of the intuitionistic propositional calculus with axioms containing only 3 variables. Since there are no 2-variable superintuitionistic propositional calculi, this is the minimal possible number of variables.
Keywords
Cite
@article{arxiv.1504.03358,
title = {On the number of variables in undecidable superintuitionistic propositional calculi},
author = {Grigoriy V. Bokov},
journal= {arXiv preprint arXiv:1504.03358},
year = {2015}
}
Comments
18 pages, 1 figure