Iterative Division in the Distributive Full Non-associative Lambek Calculus

Autoři: Mgr. Igor Sedlár, Ph.D.
Rok vydání: 2020
Typ publikace: Konferenční příspěvek (mezinárodní konf.)
Periodikum: Dynamic Logic. New Trends and Applications
Projekty: Neklasické logické modely informační dynamiky
Bibliografická citace: SEDLÁR, Igor. Iterative Division in the Distributive Full Non-associative Lambek Calculus. In: SOARES BARBOSA, L., BALTAG, A., eds. Dynamic Logic. New Trends and Applications. Cham: Springer, 2020, S. 141-154. ISBN 978-3-030-38807-2. ISSN 0302-9743
Dostupné z: doi:10.1007/978-3-030-38808-9_9
DOI: 10.1007/978-3-030-38808-9_9
ID: 522406

Abstrakt

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.