PP-2023-05: Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo (2023) The intermediate logic of convex polyhedra. [Pre-print]
Text
convex-paper.pdf Download (306kB) |
Abstract
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 Mathematics |
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 |