PP-2023-05: The intermediate logic of convex polyhedra

PP-2023-05: Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo (2023) The intermediate logic of convex polyhedra. [Pre-print]

[thumbnail of convex-paper.pdf] Text

Download (306kB)


We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra. The main result is a finite axiomatisation of the intermediate logic of the class of all polytopes — i.e., compact convex polyhedra — denoted PL. This logic is defined in terms of the Jankov-Fine formulas of two simple frames. Soundness of this axiomatisation requires extracting the geometric constraints imposed on polyhedra by the two formulas, and then using substantial classical results from polyhedral geometry to show that convex polyhedra satisfy those constraints. To establish completeness of the axiomatisation, we first define the notion of the geometric realisation of a frame into a polyhedron. We then show that any PL frame is a p-morphic image of one which has a special form: it is a ‘sawed tree’. Any sawed tree has a geometric realisation into a convex polyhedron, which completes the proof.

Item Type: Pre-print
Report Nr: PP-2023-05
Series Name: Prepublication (PP) Series
Year: 2023
Subjects: Logic
Depositing User: Nick Bezhanishvili
Date Deposited: 31 Jul 2023 12:49
Last Modified: 31 Jul 2023 12:49
URI: https://eprints.illc.uva.nl/id/eprint/2258

Actions (login required)

View Item View Item