证明与曲面
逻辑
2020-05-27 v2
摘要
本文引入了一个处理 Menelaus 构型的正式相继式系统。该系统的公理相继式源于 Delta 复形的 2-循环。定义了相继式的欧氏与射影解释，并证明了可靠性结果。该系统是可判定的，其可证相继式给出关联结果。通过一个生成元与关系展示了与该系统相关的循环 operad 结构。
引用
@article{arxiv.1907.02949,
title = {Proofs and surfaces},
author = {Djordje Baralic and Pierre-Louis Curien and Marina Milicevic and Jovana Obradovic and Zoran Petric and Mladen Zekic and Rade T. Zivaljevic},
journal= {arXiv preprint arXiv:1907.02949},
year = {2020}
}
备注
41 pages