arXiv:1610.09117 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords linear logic, cover systems, modal fl-cover system, full lambek logic, onos modal fl-algebras Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset