Proofs and surfaces

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02223002
Contributor : Inspire Hep <>
Submitted on : Thursday, August 1, 2019 - 2:09:36 AM
Last modification on : Wednesday, August 21, 2019 - 11:22:17 PM

Links full text

Identifiers

Collections

Citation

Djordje Baralic, Pierre-Louis Curien, Marina Milicevic, Jovana Obradovic, Zoran Petric, et al.. Proofs and surfaces. 2019. ⟨hal-02223002⟩

Share

Metrics

Record views

4