Abstract:The multimodal Lambek calculus NL♦ is an extension of the Lambek calculus that includes several product operations (some of them being commutative or/and associative), unary modalities, and corresponding residual implications. In this work, we relate this calculus to the hypergraph Lambek calculus HL. The latter is a general pure logic of residuation defined in a sequent form; antecedents of its sequents are hypergraphs, and the rules of HL involve hypergraph transformation. Our main result is the embedding of… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.