2 papers
math.LO2019
Proofs and surfaces
Djordje Baralic, Pierre-Louis Curien, Marina Milicevic +4
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…
math.CO2017
Syntactic aspects of hypergraph polytopes
Pierre-Louis Curien, Jovana Obradovic, Jelena Ivanovic
This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces…