Iterative division in the Distributive Full Non-associative Lambek Calculus
Logic in Computer Science
2019-10-28 v2
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.
Keywords
Cite
@article{arxiv.1909.11350,
title = {Iterative division in the Distributive Full Non-associative Lambek Calculus},
author = {Igor Sedlár},
journal= {arXiv preprint arXiv:1909.11350},
year = {2019}
}
Comments
2nd DaL\'i Workshop, Dynamic Logic: New Trends and Applications, Porto 2019