常域直觉主义谓词逻辑不具有贝斯性质
逻辑
2012-05-04 v2
摘要
基于先前关于插值失败的工作，我们证明了贝斯可定义性定理对于不带等词的常域直觉主义谓词逻辑不成立。
引用
@article{arxiv.1204.5788,
title = {Intuitionistic predicate logic of constant domains does not have Beth property},
author = {Grigory K. Olkhovikov},
journal= {arXiv preprint arXiv:1204.5788},
year = {2012}
}
备注
9 pages, 0 figures. Several misprints corrected