论不可判定超直觉主义命题演算中的变量数目
逻辑
2015-11-09 v2
摘要
在本文中，我们构造了一个不可判定的 3 变量超直觉主义命题演算，即一个有限公理化的直觉主义命题演算扩展，其公理仅包含 3 个变量。由于不存在 2 变量超直觉主义命题演算，这是可能的最小变量数。
引用
@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}
}
备注
18 pages, 1 figure