Canonical extensions and relational completeness of some substructural logics
scientific article; zbMATH DE number 2247443