27 citations · 86 across the 17 of their papers we have counts for
1 paper · 1 filter
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia +1
We investigate a recently-devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally…