Coalgebraic completeness-via-canonicity for distributive substructural logics

Fredrik Dahlqvist, David J. Pym. Coalgebraic completeness-via-canonicity for distributive substructural logics. Journal of Logic and Algebraic Programming, 93:1-22, 2017. [doi]

Abstract

Abstract is missing.