The Intermediate Logic of Convex Polyhedra

MaRDI QIDQ6445714zbMATH OpenFDO

Authors Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra

Publication date 31 July 2023

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Combinatorics of partially ordered sets (06A07) Heyting algebras (lattice-theoretic aspects) (06D20) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05)

This page was built for publication: The Intermediate Logic of Convex Polyhedra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6445714)