Iterative division in the Distributive Full Non-associative Lambek Calculus

09/25/2019

∙

by   Igor Sedlár, et al.

∙

0

∙

share

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.