A Hypersequent Calculus with Clusters for Linear Frames.

David Baelde, Anthony Lick, Sylvain Schmitz

Browse the full AiML paper archive.