Coalgebraic completeness-via-canonicity for distributive substructural logics

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Fredrik Dahlqvist, David Pym

Journal title: Journal of Logical and Algebraic Methods in Programming

Journal number: 93

Journal publisher: Elsevier

Published year: 2017

Published pages: 1-22

DOI identifier: 10.1016/j.jlamp.2017.07.002

ISSN: 2352-2208