Research from all publishers Recent investigations in modal logic and proof theory have yielded promising advancements in both the design and analysis of proof systems.

The truss design problem is to find the optimal placement and size of structural bars that can support a given load. The problem is nonlinear and, in the version addressed here, the bars must take ...