反推数学动物园的逻辑
逻辑
2018-12-06 v1
摘要
在 Mummert、Saadaoui 和 Sovine 先前工作的基础上，我们研究了构成所谓反推数学动物园的蕴涵与非蕴涵网络背后的逻辑。我们引入了该逻辑的一个表推演系统，以及该语言重要片段的自然演绎系统。
引用
@article{arxiv.1512.08035,
title = {The logic of the reverse mathematics zoo},
author = {Giovanna D'Agostino and Alberto Marcone},
journal= {arXiv preprint arXiv:1512.08035},
year = {2018}
}
备注
16 pages