当前位置: X-MOL 学术Ann. Pure Appl. Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Proofs and surfaces
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2020-06-01 , DOI: 10.1016/j.apal.2020.102845
Djordje Baralić , Pierre-Louis Curien , Marina Milićević , Jovana Obradović , Zoran Petrić , Mladen Zekić , Rade T. Živaljević

A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Δ-complexes. The Euclidean and projective interpretations of the sequents are defined and a soundness result is proved. This system is decidable and its provable sequents deliver incidence results. A cyclic operad structure tied to this system is presented by generators and relations.



中文翻译:

证明和表面

本文介绍了处理Menelaus配置的正式后续系统。该系统的无公害现象源于2个周期的Δ复合物。定义了结果的欧几里得和投影解释,并证明了结果的正确性。该系统是可判定的,其可证明的结果可提供发生结果。生成器和关系表示与该系统相关的循环操作结构。

更新日期:2020-06-01
down
wechat
bug