Iterative division in the distributive full non-associative Lambek calculus

DOI10.1007/978-3-030-38808-9_9zbMATH Open1496.03093arXiv1909.11350OpenAlexW2999542532MaRDI QIDQ777891FDOQ777891

Authors: Igor Sedlár 

Publication date: 8 July 2020

Abstract: We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete axiomatization of the logic is provided and decidability is established via a proof of the finite model property.

Full work available at URL: https://arxiv.org/abs/1909.11350

Recommendations

• The Lambek calculus with iteration: two variants
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Distributive full nonassociative Lambek calculus with \(\mathrm{S4}\)-modalities is context-free
• Extensions of Lambek calculi
• scientific article; zbMATH DE number 68516

zbMATH Keywords

transitive closuredynamic logicLambek calculusdistributive full non-associative Lambek calculusiterated composition

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cited In (6)

• Recognition of derivability for the Lambek calculus with one division
• Relational Models for the Lambek Calculus with Intersection and Constants
• Relational models for the Lambek calculus with intersection and unit
• The Lambek calculus with iteration: two variants
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable
• A restricted fragment of the Lambek calculus with iteration and intersection operations

This page was built for publication: Iterative division in the distributive full non-associative Lambek calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q777891)