collaborators

1 paper

math.LO2023

The Intermediate Logic of Convex Polyhedra

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia +1

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 al…