标号自然演绎的拓扑学应用
计算机科学中的逻辑
2021-05-11 v4 代数拓扑
摘要
我们使用一种基于计算路径（重写序列）概念的标号演绎系统，作为同一类型两项之间的等式。我们还定义了一个项重写系统，用于在那些计算路径之间进行运算，建立等式之间的等式。随后我们给出此处的主要结果：利用该系统获得圆、环面与实射影平面的基本群的计算。
引用
@article{arxiv.1906.09105,
title = {A Topological Application of Labelled Natural Deduction},
author = {Tiago M. L. Veras and Arthur F. Ramos and Ruy J. G. B. de Queiroz and Anjolina G. de Oliveira},
journal= {arXiv preprint arXiv:1906.09105},
year = {2021}
}
备注
42 pages, 5 figures. arXiv admin note: text overlap with arXiv:1804.01413, arXiv:1803.01709, arXiv:1906.09107