This article is cited in 1 paper

Part 3. Mathematical models

Undecidable three-variables superintuitionistic propositional calculus

G. V. Bokov


Abstract: In this paper, we construct an undecidable superintuitionistic propositional calculus with axioms containing only three variables.

Keywords: Superintuitionistic propositional calculus, undecidable calculus, Minsky machine.