Iterative division in the distributive full non-associative Lambek calculus

DOI10.1007/978-3-030-38808-9_9zbMath1496.03093arXiv1909.11350OpenAlexW2999542532MaRDI QIDQ777891

Igor Sedlár

Publication date: 8 July 2020

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

zbMATH Keywords

Lambek calculusdynamic logictransitive closuredistributive full non-associative Lambek calculusiterated composition

Mathematics Subject Classification ID

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

Related Items (3)

Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Relational models for the Lambek calculus with intersection and unit ⋮ 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