Iterative division in the distributive full non-associative Lambek calculus

DOI10.1007/978-3-030-38808-9_9MaRDI QIDQ777891zbMATH OpenOpenAlexFDO

Authors Igor Sedlár

Publication date 8 July 2020

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

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)

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.

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

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)