Computer Science > Logic in Computer Science
[Submitted on 8 Aug 2023]
Title:Multimodality in the Hypergraph Lambek Calculus
View PDFAbstract:The multimodal Lambek calculus 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 the multimodal Lambek calculus (with at most one associative product) in HL. It justifies that HL is a very general Lambek-style logic and also provides a novel syntactic interface for the multimodal Lambek calculus: antecedents of sequents of the multimodal Lambek calculus are represented as tree-like hypergraphs in HL, and they are derived from each other by means of hyperedge replacement. The advantage of this embedding is that commutativity and associativity are incorporated in the sequent structure rather than added as separate rules. Besides, modalities of the multimodal Lambek calculus are represented in HL using the product and the division of HL, which explicitizes their residual nature.
Submission history
From: EPTCS [view email] [via EPTCS proxy][v1] Tue, 8 Aug 2023 18:35:44 UTC (24 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.