Coalgebraic completeness-via-canonicity for distributive substructural logics

Dahlqvist, F; Pym, D; (2017) Coalgebraic completeness-via-canonicity for distributive substructural logics. Journal of Logical and Algebraic Methods in Programming , 93 pp. 1-22. 10.1016/j.jlamp.2017.07.002 .

http://ift.tt/2IhYAMy