Iterative division in the Distributive Full Non-associative Lambek Calculus
arXiv:1909.11350
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.
2nd DaLí Workshop, Dynamic Logic: New Trends and Applications, Porto 2019