Proofs and surfaces
Logic
2020-05-27 v2
Abstract
A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-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.
Cite
@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}
}
Comments
41 pages