Proofs and surfaces

DOI10.1016/j.apal.2020.102845zbMath1452.03127arXiv1907.02949OpenAlexW3033008633WikidataQ113880325 ScholiaQ113880325MaRDI QIDQ2195640

Rade T. Živaljević, Jovana Obradović, Zoran Petrić, Pierre-Louis Curien, Mladen Zekić, Marina Milićević, Djordje Baralić

Publication date: 27 August 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.02949

zbMATH Keywords

connected sumsimplicial homologysequent systemcyclic operadincidence theoremCeva-Menelaus proof

Mathematics Subject Classification ID

General theory of linear incidence geometry and projective geometries (51A05) Proof theory in general (including proof-theoretic semantics) (03F03) Configuration theorems in linear incidence geometry (51A20)

Related Items (1)

Coherence for closed categories with biproducts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Survey article: an elementary illustrated introduction to simplicial sets
• Linear logic
• A minimal classical sequent calculus free of structural rules
• Algebraic topology
• The structure of multiplicatives
• Cut elimination in categories
• On the problems of topology
• Semi-simplicial complexes and singular homology
• Schlussweisen-Kalküle der Prädikatenlogik
• Quelques propriétés globales des variétés différentiables
• Perspectives on Projective Geometry
• Cancellation Patterns in Automatic Geometric Theorem Proving
• A formal language for cyclic operads
• Cyclic multicategories, multivariable adjunctions and mates
• A Short Proof of the Bradley Theorem
• ON MENELAUS'SPHERICSIII.5 IN ARABIC MATHEMATICS, I: IBN ʿIRĀQ

This page was built for publication: Proofs and surfaces