Fredrik Dahlqvist, David J. Pym. Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. In Wolfram Kahl, Michael Winter, José N. Oliveira, editors, Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Volume 9348 of Lecture Notes in Computer Science, pages 119-135, Springer, 2015. [doi]
Abstract is missing.