arXiv:2307.16600 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords convex polyhedron, intermediate logic, geometric realisation, axiomatisation, compact convex polyhedra Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset