Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic. Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. In Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada, editors, Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers. Volume 6618 of Lecture Notes in Computer Science, pages 101-124, Springer, 2009. [doi]
Abstract is missing.