Prepublication (PP) Series

PP-2015-21:
Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen One-step Heyting algebras and hypersequent calculi with the bounded proof property
1.Full Text, 2.Abstract.